About this RoleIn this role, you'll develop new formal verification methods to enable
formal proofs of design correctness using model checking, property verification, and equivalence analysis. You'll collaborate closely with RTL, verification, and ML research teams to develop hybrid formal engines that reason about AI-generated hardware at scale. You'll define formal properties, automate assertion synthesis, and build systems that verify at the speed of thought. You will prototype research ideas, evaluate them on real RTL designs, and work closely with RTL, ML, and verification teams to turn novel methods into practical systems.
You might thrive if you have 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
