5+ years of experience with JasperGold, VC Formal or similar tools
Strong background in assertion-based verification (SVA)
Expertise in model checking and property decomposition
Proficient in equivalence checking and abstraction refinement
Familiar with formal coverage methodologies
Responsibilities
Build formal proofs of design correctness using model checking
Collaborate with RTL, verification, and ML teams
Develop hybrid formal engines for AI-generated hardware
Define formal properties and automate assertion synthesis
Create systems for rapid verification of designs
Benefits
Opportunity to work with top-tier investors and industry leaders
Engage in cutting-edge research at the intersection of AI and hardware
Collaboration with an elite team of professionals
Potential for innovative problem-solving in a high-impact environment
Full Job Description
About this Role 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.
You might thrive if you have 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
