Senior Formal Verification Engineer
Senior Formal Verification Engineer at Velaura — Santa Clara, CA, US
- Company: Velaura
- Location: Santa Clara, CA, US
- Employment type: Full-time
- Salary: $200,000–$300,000 a year
- Posted: 2026-07-25
About this role
Role Overview
We are looking for a talented Senior Formal Verification Engineer to define, own, and scale the formal verification effort that hardens Velaura's next-generation Physical AI SoC. You will apply formal methods to the hardest correctness problems in the design, working with architects, RTL, and verification teams to prove correctness exhaustively and reach coverage that simulation cannot. We welcome engineers who enjoy reasoning rigorously about complex hardware, taming state-space explosion, and finding the corner-case bugs no one else can.
Or fast-track your application with a Beaverhand AI interview