Senior Staff Formal Verification Engineer

🕒 January 22

🏢🏡 Austin – Hybrid

⏰ Full Time

🟠 Senior

👷🏻‍♀️ Engineer

🦅 H1B Visa Sponsor

This company has sponsored H1B visas in the past.

Apply Now

Find Similar Remote Jobs

Receive Emails For Remote Jobs

📊 Check your resume score for this job

Improve your chances of getting an interview by checking your resume score before you apply.

Upload Resume

Cirrus Logic

WebsiteLinkedInAll Job Openings

1001 - 5000 employees

Founded 1984

🔧 Hardware

🛍️ eCommerce

🥽 AR/VR

💰 $235k Debt Financing on 2016-02

Hardware • eCommerce • AR/VR

Cirrus Logic is a leader in low-power, high-precision mixed-signal processing and audio solutions. The company provides a wide range of audio products, including codecs, amplifiers, and converters, primarily for consumer electronics such as smartphones, laptops, tablets, and wearables. With extensive expertise in high-performance mixed-signal design, Cirrus Logic also explores applications in haptic technology and various power-related products.

📋 Description

• Develop and enhance formal methodologies to be rolled out to the wider design and verification teams and investigate new capabilities based on formal. • Mentor engineers in formal verification, developing their talents and understanding of formal techniques and application of formal methodologies. • Support, and where necessary coach, the verification team to follow, and improve, defined methodology practices. • Develop test plans and verification methodologies to verify the microarchitecture and design. • Perform failure analysis and resolution, coverage analysis, and population. • Implement and improve functional verification.

🎯 Requirements

• Master's degree in Electrical or Computer Engineering with 8+ years or PhD in Electrical or Computer Engineering with 5 +years of formal verification experience. • Proven expertise in designing and implementing formal verification environments for complex IP/module-level designs. • Demonstrated ability to lead and drive the verification process from inception to completion. • Excellent communication skills and a collaborative approach to working with team members. • Proficiency in System Verilog, UVM, or equivalent methodologies. • Familiarity with scripting languages such as Python, Perl, TCL, Bash. • Expertise in formal property languages, with SVA knowledge. • Experience in property-based model-checking. • Knowledgeable in Signal Processing, analog and digital design fundamentals.

🏖️ Benefits

• Multicultural team • Flexible work environment • Professional development opportunities