Formal Verification Engineer
Voltai•Palo Alto, CA
41d
About The Position
In this role, you’ll build 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.
Requirements
- 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
Stand Out From the Crowd
Upload your resume and get instant feedback on how well it matches this job.
Upload and Match Resume
What This Job Offers
Job Type
Full-time
Education Level
No Education Listed
Number of Employees
1-10 employees
