Formal Verification Research Scientist

The role

You will develop new formal verification methods to enable formal proofs of design correctness. You will collaborate with RTL, verification, and ML research teams to develop hybrid formal engines and prototype research ideas.

What you will do

• Develop new formal verification methods for formal proofs of design correctness
• 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
• Prototype research ideas
• Evaluate research ideas on real RTL designs

Required qualifications

• 5+ years of experience in research experience in formal methods, theorem proving, model checking, or program analysis
• 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. The company is starting out with understanding and building hardware; electronics systems and semiconductors where AI can design and create beyond human cognitive limits.