# Formal Verification Engineer
**Company:** [Voltai](https://hotfix.jobs/companies/voltai)
**Location:** Palo Alto, CA
**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.
**Apply:** https://hotfix.jobs/jobs/formal-verification-engineer-at-voltai-f7c0e15b-c861-4d56-8d32-fe114e80ede8
**Canonical:** https://hotfix.jobs/jobs/formal-verification-engineer-at-voltai-f7c0e15b-c861-4d56-8d32-fe114e80ede8