Senior Formal Verification Engineer
Santa Claraonsitesenior
Posted 3w ago · via Lever
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.
What we'd score you on
reqspace match rubricFive dimensions, recruiter-grade. Upload your resume and we'll generate a written explanation of where you fit and where the gaps are.
1
Skills match
For this role: teams
2
Level fit
This role is senior-level. We check your trajectory against it.
3
Domain experience
Your work in the role's domain matters more than your years total. We weight recent and direct experience.
4
Recency
A skill you used last quarter weighs more than one from five years ago. We grade on recency, not lifetime.
5
Location fit
This role is based in Santa Clara. We weight your proximity and willingness to relocate.
Score yourself on this role.
Free · no card · written explanation included
Skills in this role
Pulled from the job description. These are the keywords we'll weight when scoring your fit.
teams
More at Velaura
- View →RTL Power EngineerSanta Clara, CA
- View →Design Verification Engineer- AI Accelerator LeadSanta Clara, CA
- View →Design Verification Engineer- CPUSanta Clara, CA
- View →Physical Verification Engineer (Staff / Sr. Staff)Bangalore
- View →CAD & Engineering Infrastructure LeadSanta Clara, CA
- View →Senior Technical Recruiter – EngineeringSanta Clara, CA