Formal Verification Engineer is open at Voltai.careers in Palo Alto Office. The posting gives no salary; similar roles in the United States advertise a median of $190K. Posted on Nov 12, 2025, and still on Voltai.careers’s careers page when we last checked, on Nov 15, 2026.
About the role
, you’ll build formal proofs of design correctness using model checking, property verification, and equivalence analysis. You’ll collaborate closely with RTL, verification, and ML research teams to develop hybrid formal engines that reason about AI-generated hardware at scale. You’ll define formal properties, automate assertion synthesis, and build systems that verify at the speed of thought. You might thrive if you…
The opening lines of the posting. The rest is on Voltai.careers’s careers page.
Hiring at Voltai.careers
Voltai.careers has 33 open roles right now, 2 of them remote. Most are in Engineering, Operations and Data & Research. See all its roles
