Senior Formal Verification Engineer - Bangalore
Bangaloreonsitesenior
Posted 1w 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 Bangalore. 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 →Sr Engineer CAD Pre-Silicon Front End - BangaloreBangalore
- View →Functional Safety Architect - BangaloreBangalore
- View →AI Systems Architect (Models & Hardware Co-Design) - BangaloreBangalore
- View →SoC Design Verification Engineer - BangaloreBangalore
- View →Senior Design Verification Engineer - BangaloreBangalore
- View →Design Verification Engineer- CPU - BangaloreBangalore