Velaura AI
Senior Formal Verification Engineer
$200K–$300K
Santa Clara, CA · On-site · Senior · Full-time · Posted Jul 25, 2026
- Experience
- 10+ years in functional verification; substantial hands-on formal verification experience.
About the job
Own and scale formal verification for complex SoC designs, proving correctness and closing coverage for Velaura’s Physical AI hardware.
What you'll do
- Develop SVA properties and formal testbenches, and prove functional correctness, including datapath and end-to-end equivalence.
- Apply formal methods to debug and close proofs, verify arithmetic units, and build reusable formal apps.
- Integrate formal coverage into verification signoff and maintain automation, scripting, and CI workflows.
What they ask for
- 10+ years in functional verification, including substantial hands-on formal verification of complex digital systems.
- Track record solving difficult formal problems involving CPUs/processors, floating-point or arithmetic datapaths, or vector/SIMD units.
- Deep expertise in SystemVerilog Assertions (SVA) and hands-on experience with JasperGold, VC Formal, or Questa Formal / OneSpin.
- Experience developing constraints and proving they are consistent and non-over-constraining.
Nice to have
- Experience with formal datapath verification and arithmetic equivalence checking.
- Experience verifying vector, SIMD, or matrix/tensor compute units.
Pay
USD 200,000–300,000 (per-year-salary)
Tools
SystemVerilog Assertions (SVA), JasperGold, VC Formal, Questa Formal, OneSpin, IEEE-754, C/C++, SystemC
AI focus
Use modern AI-assisted verification and debug workflows to improve productivity and coverage; experience with AI, machine learning, or edge AI hardware is preferred.
Model-written summary · the original posting is authoritative