# Formal Verification Engineer

**Company:** [Voltai](https://hotfix.jobs/companies/voltai)
**Location:** Palo Alto, CA
**Role:** Backend Engineering
**Experience:** 5+ years
**Skills:** Jaspergold, Vc Formal, Sva, Model Checking, Property Verification, Equivalence Checking, Assertion-Based Verification, Abstraction Refinement, Formal Coverage, Rtl
**Posted:** 2025-11-12

> Develops formal proofs for hardware design correctness using model checking and property verification. Collaborates with RTL and ML teams on hybrid engines for AI-generated hardware, requiring 5+ years in formal tools like JasperGold.

## Job Description

## Responsibilities
- Build formal proofs of design correctness using model checking, property verification, and equivalence analysis.
- Collaborate with RTL, verification, and ML research teams to develop hybrid formal engines for AI-generated hardware.
- Define formal properties and automate assertion synthesis.
- 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.

## Similar roles

- [Software Engineer (Backend), Deliverability](https://hotfix.jobs/jobs/2784834d-42ef-4b0d-bb3c-b825cbae7c53) - Front - San Francisco, CA - $178k – $204k/yr
- [Backend Engineer](https://hotfix.jobs/jobs/b1af6614-7e82-451b-b33a-6e7723bb589c) - Scribe - San Francisco, CA - $140k – $185k/yr
- [Software Engineer, Codex -Enterprise Controls](https://hotfix.jobs/jobs/9fc148ac-afcb-4558-a41e-a772e8869a71) - OpenAI - San Francisco, CA - $230k – $385k/yr
- [Software Engineer III](https://hotfix.jobs/jobs/a91a8070-ade4-411a-a538-be8c46e121ab) - ZoomInfo - Bethesda, MD - $112k – $176k/yr
- [Software Engineer, Upstart Bank](https://hotfix.jobs/jobs/5dbad557-7d4b-47a1-a575-68c16e632c5f) - Upstart - Remote - $14k – $187k/yr

**Apply:** https://hotfix.jobs/jobs/f7c0e15b-c861-4d56-8d32-fe114e80ede8
**Canonical:** https://hotfix.jobs/jobs/f7c0e15b-c861-4d56-8d32-fe114e80ede8