Formal Verification Engineer jobs in United States
cer-icon
Apply on Employer Site
company-logo

Voltai ยท 2 months ago

Formal Verification Engineer

positionPalo Alto, CA
timeFull-time
remoteOnsite
senioritySenior Level
date5+ years exp

Voltai is developing advanced hardware and electronics systems powered by AI. The Formal Verification Engineer will focus on building formal proofs of design correctness and collaborate with various teams to develop hybrid formal engines for AI-generated hardware verification.

Computer Software
check
H1B Sponsor Likelynote

Responsibilities

Build formal proofs of design correctness using model checking, property verification, and equivalence analysis
Collaborate closely with RTL, verification, and ML research teams
Develop hybrid formal engines that reason about AI-generated hardware at scale
Define formal properties
Automate assertion synthesis
Build systems that verify at the speed of thought

Qualification

Formal verification toolsAssertion-based verificationModel checkingEquivalence checkingAbstraction refinement

Required

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

Company

Voltai

twitter
company-logo
AI models for electronics
people-size11-50 employees
web-link
https://www.voltai.com

H1B Sponsorship

Voltai has a track record of offering H1B sponsorships. Please note that this does not guarantee sponsorship for this specific role. Below presents additional info for your reference. (Data Powered by US Department of Labor)
Distribution of Different Job Fields Receiving Sponsorship
Represents job field similar to this job
Trends of Total Sponsorships
2025 (4)
2024 (2)

Funding

Current Stage
Early Stage
Company data provided by crunchbase