Senior Formal Verification Engineer

Highlights

• Deliver the compute platform running the fully autonomous vehicle software stack.
• Architect high-performance custom silicon for world-class automotive compute.
• Drive formal sign-off strategy to enable first-pass silicon success.

What they offer

• Discretionary annual bonus program
• Equity incentive plan
• Generous company benefits program

Ideal candidate

Experienced formal verification leader who loves tackling intractable proof problems and mentoring others. You care about first-pass silicon success and aligning architecture, design, and verification.

Requirements

• BS/MS/PhD in CS/EE or related field with 5+ years formal verification on shipping silicon
• Expert proficiency with a major commercial formal platform (e.g. JasperGold, VC Formal)
• Proficiency in C++ and/or Python
• Strong SystemVerilog and SVA modeling including cut-points and environment models
• Proven advanced formal debug and decomposition (e.g. CDC, abstractions, assume-guarantee)
• Excellent communication skills with ability to influence cross-functional teams