# Formal Verification Research Scientist

**Company:** [Voltai](https://hotfix.jobs/companies/voltai)
**Location:** Palo Alto, CA
**Role:** AI Research
**Experience:** 5+ years
**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
**Posted:** 2026-07-23

> 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.

## Job Description

## 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.

## Similar jobs

- [AI Researcher](https://hotfix.jobs/jobs/077574a5-3c6d-4634-a23c-4a909ce8aa65) - Improbable - Remote
- [Research Engineer, Takeoff Intel](https://hotfix.jobs/jobs/398824a2-65cc-4e28-aaeb-26c3b6610876) - Anthropic - San Francisco, CA - $350k – $850k/yr
- [Applied AI Research Scientist](https://hotfix.jobs/jobs/93baef6f-91a8-4c62-acaa-44c3ea48b467) - Sardine - Remote
- [Researcher, Agent Safety, Oversight and System Mitigations](https://hotfix.jobs/jobs/4544e3bb-bb96-43d2-a96c-cd364b641660) - OpenAI - San Francisco, CA - $380k – $500k/yr
- [Researcher, Agent Safety, Training and Evaluations](https://hotfix.jobs/jobs/d80336da-e453-4999-9f26-85a125b679d9) - OpenAI - San Francisco, CA - $380k – $500k/yr

**Apply:** https://hotfix.jobs/jobs/f32565bd-f8da-4877-8aea-e7e96df11e5a
**Canonical:** https://hotfix.jobs/jobs/f32565bd-f8da-4877-8aea-e7e96df11e5a