Formal Verification Research Scientist
On-sitePalo Alto, California, United States
Job Summary
Develop new formal verification methods to enable formal proofs of design correctness using model checking, property verification, and equivalence analysis. Collaborate closely with RTL, verification, and ML research teams to develop hybrid formal engines that reason about AI-generated hardware at scale. Define formal properties, automate assertion synthesis, and build systems that verify at the speed of thought. Prototype research ideas, evaluate them on real RTL designs, and work with cross-functional teams to turn novel methods into practical systems. Requires 5+ years of experience in formal methods, theorem proving, and model checking, with proficiency in JasperGold, VC Formal, or similar tools.
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
Hiring someone like this?
Get your role in front of qualified candidates on Sorce.