Formal Verification Research Scientist is open at Voltai.careers in Palo Alto Office. The posting gives no salary; similar roles in the United States advertise a median of $168K. Posted on Jul 23, 2026, and still on Voltai.careers’s careers page when we last checked, on Nov 15, 2026.
About the role
, you’ll develop new formal verification methods to enable 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 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
