Voltai
Formal Verification Research Scientist
Palo Alto Office · Full-time · Posted Jul 23, 2026
- Experience
- 5+ years of experience in the listed areas.
About the job
Develops formal verification methods and hybrid engines to prove AI-generated hardware designs correct and evaluates them on real RTL designs.
What you'll do
- Develop formal proof methods using model checking, property verification, and equivalence analysis.
- Define formal properties, automate assertion synthesis, and build scalable verification systems.
- Prototype and evaluate research ideas on RTL designs in collaboration with RTL, ML research, and verification teams.
What they ask for
- Research experience in formal methods, theorem proving, model checking, or program analysis.
- Experience with JasperGold, VC Formal, or similar formal verification tools.
- Experience with assertion-based verification (SVA).
- Experience with model checking and property decomposition, equivalence checking, abstraction refinement, and formal coverage.
Tools
JasperGold, VC Formal, SVA, RTL
AI focus
Builds hybrid formal engines to reason about and verify AI-generated hardware.
Model-written summary · the original posting is authoritative