Formal Verification Research Scientist
Develop novel formal verification methods and hybrid formal engines for AI-generated hardware designs. Collaborate with RTL, ML, and verification teams on model checking, property verification, equivalence analysis, assertion synthesis, and prototyping research ideas on real RTL.
About the job
Responsibilities
- 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.
- Work closely with RTL, ML, and verification teams to turn novel methods into practical systems.
Requirements
- 5+ years of experience in formal methods, theorem proving, model checking, or program analysis.
- Experience with JasperGold, VC Formal, or similar formal verification tools.
- Expertise in assertion-based verification (SVA).
- Knowledge of model checking and property decomposition.
- Experience with equivalence checking, abstraction refinement, and formal coverage.
Nice-to-Haves
- Research experience in formal methods, theorem proving, model checking, or program analysis.
- Background in hardware design, RTL, or AI-generated hardware verification.
Skills
Formal Verification, Model Checking, Theorem Proving, Program Analysis, Jaspergold, Vc Formal, Sva, Assertion-Based Verification, Equivalence Checking, Abstraction Refinement, Formal Coverage, Rtl, Property Verification
Similar jobs
AI Research jobs
Improbable
Remote
Conduct applied research on AI agents, designing experiments and evaluation systems to improve reliability, context retention, and multi-step task completion. The role requires strong AI/ML research, engineering, experimental design, and communication skills.
Anthropic
San Francisco, CA
Research Engineer building large-scale AI capability evaluations, telemetry, data pipelines, and analysis tools for Anthropic’s Takeoff Intel team. The role requires hands-on large language model experimentation, rapid prototyping, data expertise, and strong research collaboration.
Sardine
United States
Conduct applied research on foundation models for fraud detection using large-scale behavioral and financial-risk data. The role spans experimentation, evaluation, production deployment, and cross-functional work on model governance, requiring 4+ years of applied ML experience and strong Python and SQL skills.
OpenAI
San Francisco, CA
Researcher or engineer focused on designing, evaluating, and productionizing oversight systems and safety mitigations for autonomous AI agents. The role requires strong systems or security reasoning, threat-modeling ability, and experience building practical evaluations and controls.
OpenAI
San Francisco, CA
Researcher focused on training and evaluating frontier AI agents, mining incidents, and building scalable safety measurement systems. The role requires strong research or ML engineering execution, quantitative judgment, and the ability to own ambiguous projects end to end.