Sr. Staff Formal Verification Engineer (CH-TBD)

TL;DR

Sr. Staff Formal Verification Engineer (CH-TBD): Building and leveraging formal and dynamic verification environments for critical areas of audio and mixed-signal devices with an accent on developing and enhancing formal methodologies, and mentoring engineers. Focus on implementing and improving functional verification, performing failure analysis, and ensuring robust design verification.

Location: Hybrid in Austin, Texas. Candidates must be able to access technical data without an export license and cannot be sponsored for export licenses.

Company

hirify.global is a leading company in mixed-signal processing, known for solving complex challenges and providing innovative end-user solutions for top consumer brands.

What you will do

• Develop and enhance formal methodologies to be rolled out to design and verification teams.
• Mentor engineers in formal verification, developing their talents and understanding of techniques.
• Support and 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 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.
• Proficiency in System Verilog, UVM, or equivalent methodologies.
• Familiarity with scripting languages such as Python, Perl, TCL, and Bash.
• Expertise in formal property languages, with SVA knowledge, and experience in property-based model-checking.
• Knowledgeable in Signal Processing, analog and digital design fundamentals.
• Work authorization: Candidates must be able to access technical data without a requirement for an export license, as hirify.global is unable to sponsor or obtain export licenses for this role.

Culture & Benefits

• Award-winning culture built on a foundation of inclusion and fairness.
• Meaningful community engagement and enjoyable employee experiences.
• Collaborative approach to working with team members.