Senior Formal Verification Engineer
Velaura AI • Santa Clara, California • Technology, Information and Internet • 4d ago
Save this role or tell us whether you want more jobs like it.
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.