Senior Formal Verification Engineer Equity
Listed on 2026-10-16
-
Engineering
Test Engineer
Velaura AI, Inc. seeks a Senior Formal Verification Engineer to define, own, and scale the formal verification program for its next-generation Physical AI SoC.
You will prove correctness exhaustively, tame state-space explosion, and collaborate with architects, RTL, and verification teams to reach comprehensive coverage. You will craft high‑quality SVA properties, formal test benches, and reusable apps; drive proofs, benchmarks, and CI hooks; and contribute to a culture of technical excellence
We are currently recruiting a Senior Formal Verification Engineer — Flexible Work + Equity for our team in Santa Clara, CA, United States.
We appreciate your interest in this position.
Join Velaura AI, Inc. and contribute to our ongoing work.
Take a moment to read everything above and see whether this role is right for you.
This posting is for the Senior Formal Verification Engineer — Flexible Work + Equity role at Velaura AI, Inc., based in Santa Clara, CA, United States.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).