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.

n

Responsibilities

•
Own and drive formal verification for complex SoC blocks—CPUs, control processors, floating-point units, vector/SIMD engines, and datapath-heavy designs.

•
Write high-quality SVA properties and formal testbenches to prove functional correctness, including end-to-end and datapath-equivalence checks.

•
Apply full proofs, bounded model checking, assume-guarantee reasoning, and abstraction to close proofs on deep-state designs.

•
Debug counterexamples and drive convergence on hard proofs using abstraction, constraints,



and decomposition.

•
Verify floating-point and arithmetic units for IEEE-754 compliance using formal datapath and equivalence checking.

•
Build reusable formal apps: connectivity, register/CSR, deadlock/liveness, X-propagation, and control-path proofs.

•
Define constraints and modeling assumptions, and prove them consistent and non-over-constraining.

•
Drive formal coverage closure and integrate it into the overall verification signoff plan.

•
Partner with architects, RTL, and simulation teams to align on what to prove formally versus in simulation.

•
Maintain automated infrastructure, scripting, and CI hooks for formal regression and proof tracking.

•
Use up-to-date AI-assisted verification and debug workflows to improve productivity and coverage.

•
Contribute to a culture of technical excellence and continuous improvement.

Required Qualifications

•
10+ years in function

📌 Senior Formal Verification Engineer (Bengaluru)
🏢 Velaura
📍 Bengaluru