Formal Verification Engineer

Job Title

Formal Verification Engineer

Role Summary

Build formal proofs of hardware design correctness using model checking, property verification, and equivalence analysis. Work with RTL, verification, and ML research teams to develop scalable hybrid formal engines for AI-generated hardware.

Experience Level

Mid-level; typically 5+ years of industry experience in formal verification tools and methodologies.

Responsibilities

Primary responsibilities include:

• Develop formal proofs and properties using model checking and assertion-based verification.
• Perform equivalence checking and abstraction refinement to verify RTL against specifications.
• Automate assertion synthesis and formal property generation.
• Design and run formal coverage analyses to improve verification completeness.
• Collaborate with RTL, verification, and ML research teams to integrate formal engines into the flow.
• Build tools and systems for scalable, high-speed formal verification.

Requirements

Must-have:

• 5+ years of formal verification experience.
• Experience with JasperGold, VC Formal, or similar formal tools.
• Assertion-based verification (SVA).
• Model checking and property decomposition.
• Equivalence checking, abstraction refinement, and formal coverage analysis.
• Proven ability to work cross-functionally with RTL, verification, and research teams.

Nice-to-have:

• Experience applying formal methods to ML-generated or AI-designed hardware.

Education Requirements

Not specified.

About the Company

Company: Voltai

Headquarters: Palo Alto, CA, United States

Voltai develops AI-driven world models and agents to design, evaluate, and optimize physical systems—focusing on hardware, electronics, and semiconductors to enable AI-led hardware co-design, performance modeling, and cross-domain optimization.