Formal Verification Engineer

The role

You will build formal proofs of design correctness using model checking, property verification, and equivalence analysis. You will collaborate with RTL, verification, and ML research teams to develop hybrid formal engines.

What you will do

• Build formal proofs of design correctness using model checking, property verification, and equivalence analysis
• Collaborate with RTL, verification, and ML research teams
• Develop hybrid formal engines that reason about AI-generated hardware at scale
• Define formal properties
• Automate assertion synthesis
• Build systems that verify at the speed of thought

Required qualifications

• 5+ years of experience in JasperGold, VC Formal, or similar formal verification tools
• Assertion-based verification (SVA)
• Model checking and property decomposition
• Equivalence checking, abstraction refinement, and formal coverage

About the company

Voltai is developing world models, and agents to learn, evaluate, plan, experiment, and interact with the physical world. They are starting out with understanding and building hardware; electronics systems and semiconductors where AI can design and create beyond human cognitive limits.