Senior Formal Verification Engineer

Job Title

Senior Formal Verification Engineer

Role Summary

Join the verification organization in Austin to develop and apply formal verification methodologies for audio and mixed-signal devices. The role builds and maintains formal and dynamic verification environments and partners with design and verification teams to deploy formal techniques across projects.

Experience Level

Senior. Posting requests experience consistent with senior-level expectations: Master's degree plus 8+ years of formal verification experience or PhD plus 5+ years of formal verification experience.

Responsibilities

Primary responsibilities include developing formal methodologies, mentoring engineers, and integrating formal verification into the verification lifecycle.

• Develop and enhance formal verification methodologies and tool flows for reuse across design and verification teams.
• Build formal and dynamic verification environments for module/IP-level verification.
• Mentor and coach engineers on formal techniques and methodology adoption.
• Create test plans and verification strategies for microarchitecture and design verification.
• Perform failure analysis, debug, and coverage analysis to drive closure.
• Support and improve functional verification practices and processes.

Requirements

Required technical skills and experience (key qualifications).

• Proven experience designing and implementing formal verification environments for complex IP/module-level designs.
• Ability to lead and manage the verification process from inception to completion.
• Proficiency in SystemVerilog and UVM or equivalent verification methodologies.
• Experience with formal property languages and SVA; property-based model checking expertise.
• Familiarity with scripting languages such as Python, Perl, Tcl, and Bash.
• Strong communication and collaboration skills for cross-team interaction.
• Knowledge of analog and digital design fundamentals and signal processing principles.

Nice-to-have: prior experience with audio/mixed-signal products and formal tool-chain rollouts across multiple teams.

Education Requirements

Master's degree in Electrical or Computer Engineering with 8+ years of formal verification experience, or PhD in Electrical or Computer Engineering with 5+ years of formal verification experience (as stated in the posting).

About the Company

Company: Cirrus Logic

Headquarters: Austin, TX, United States

Designer and manufacturer of high-precision analog and mixed-signal integrated circuits, specializing in audio and voice processing solutions for consumer electronics and mobile devices, including audio codecs, converters, and SoCs.