Voltai
Formal Verification Engineer
Palo Alto Office · Full-time · Posted Nov 12, 2025
- Experience
- 5+ years of experience in the listed areas.
About the job
Build formal proofs and scalable verification systems for AI-generated hardware, collaborating with RTL, verification, and ML research teams.
What you'll do
- Use model checking, property verification, and equivalence analysis to prove design correctness.
- Define formal properties and automate assertion synthesis.
- Develop hybrid formal engines to verify AI-generated hardware at scale.
What they ask for
- Experience with JasperGold, VC Formal, or similar formal verification tools.
- Experience with assertion-based verification (SVA).
- Experience with model checking and property decomposition.
- Experience with equivalence checking, abstraction refinement, and formal coverage.
Tools
JasperGold, VC Formal, SVA
AI focus
Develop verification methods and hybrid formal engines for AI-generated hardware.
Model-written summary · the original posting is authoritative