Lead Formal Verification Engineer

Cirrus Logic; Austin (TX); On-site; USD 120,000 - 150,000; Full time

Job summary

Cirrus Logic is seeking an experienced Formal Verification Engineer in Austin, TX. You will play a critical role in developing and supporting advanced formal verification techniques. Responsibilities include enhancing methodologies, mentoring engineers, and collaborating with design and verification teams. Candidates should have a Master's or PhD in Electrical/Computer Engineering with formal verification experience. Strong communication skills and expertise in System Verilog are required. Cirrus Logic values diverse perspectives and offers an inclusive culture.

Qualifications

• 8+ years of experience in formal verification with a Master's or 5+ years with a PhD.
• Proven expertise in designing formal verification environments.
• Ability to lead the verification process from start to finish.

Responsibilities

• Develop and enhance formal methodologies for design and verification teams.
• Mentor engineers on formal verification techniques.
• Support verification team in following defined methodologies.
• Develop test plans for microarchitecture and design verification.
• Perform failure analysis and coverage analysis.

Skills

Formal verification expertise

Excellent communication skills

Collaboration

Proficiency in System Verilog

Scripting languages knowledge

Education

Master's degree in Electrical or Computer Engineering

PhD in Electrical or Computer Engineering

Tools

System Verilog

UVM

Python

Perl

TCL

Bash

Job description

Cirrus Logic is seeking an experienced Formal Verification Engineer in Austin, TX. You will play a critical role in developing and supporting advanced formal verification techniques. Responsibilities include enhancing methodologies, mentoring engineers, and collaborating with design and verification teams. Candidates should have a Master's or PhD in Electrical/Computer Engineering with formal verification experience. Strong communication skills and expertise in System Verilog are required. Cirrus Logic values diverse perspectives and offers an inclusive culture.