Senior Formal Verification Engineer
Velaura AI develops ultra-low-power silicon and software technologies for AI compute infrastructure. Its solutions serve hyperscale data centers and Physical AI applications such as robotics, autonomous systems, drones, and edge devices.
Maintainer signals as of 8/23/2026
Funding history
About Velaura AI, Inc.
Velaura AI is an AI compute infrastructure company developing ultra-low-power silicon and software technologies. Its Titan Core™ platform uses proprietary digital chip IP, low-voltage libraries, EDA flows, and design methodologies to improve performance per watt in AI accelerators while maintaining performance, yield, and reliability. The company also applies this technology to Physical AI systems, including industrial robots, autonomous machines, drones, humanoids, and edge devices. Velaura engages hyperscalers, XPU companies, and developers of next-generation AI infrastructure and Physical AI solutions.
Skills
Candidate Availability
Required and preferred rules are kept separate and reflect the wording in the original posting.
About the Role
You define, own, and scale formal verification for complex SoC blocks, including CPUs, control processors, floating-point units, vector engines, and datapath-heavy designs. You write SVA properties and formal testbenches, apply proof techniques to close deep-state designs, debug counterexamples, verify IEEE-754 compliance, build reusable formal applications, define consistent constraints, drive coverage closure, maintain automation and CI infrastructure, and collaborate with architecture, RTL, and simulation teams on verification signoff.
Requirements
- 10+ years in functional verification with substantial hands-on formal verification experience
- Experience solving formal verification problems involving CPUs, processors, floating-point or arithmetic datapaths, or vector/SIMD units
- Deep expertise with SystemVerilog Assertions and formal property development
- Hands-on experience with JasperGold, VC Formal, Questa Formal, or OneSpin
- Experience developing consistent and non-over-constraining constraints
- Strong understanding of computer architecture, microarchitecture, SoC design, and digital fundamentals
- Understanding of floating-point arithmetic, IEEE-754, and datapath correctness
- Strong analytical and mathematical reasoning skills
- Strong scripting and automation skills for build, regression, and CI pipelines
- Ability to work effectively in a collaborative, multidisciplinary team
- Experience with formal datapath verification and arithmetic equivalence checking
- Experience verifying vector, SIMD, or matrix/tensor compute units
- Experience with security verification using formal methods
- Experience with formal protocol verification of standard interconnects
- Familiarity with cache coherence, memory consistency, and interconnect protocol verification
- Familiarity with CDC and RDC formal signoff
- Experience with sequential equivalence checking and UPF formal verification
- Experience with AI, machine learning, or edge AI hardware
- Familiarity with robotics, drones, autonomous vehicles, or industrial automation systems
- Experience with functional-safety standards such as ISO 26262, IEC 61508, IEC 61511, or ISO 13849
- Experience using modern AI tools and workflows to accelerate engineering productivity
Responsibilities
- Own and drive formal verification for complex SoC blocks
- Write SVA properties and formal testbenches to prove functional correctness
- Apply full proofs, bounded model checking, assume-guarantee reasoning, and abstraction
- Debug counterexamples and drive convergence on hard proofs
- Verify floating-point and arithmetic units for IEEE-754 compliance
- Build reusable formal applications for connectivity, registers, deadlock, liveness, X-propagation, and control paths
- Define constraints and modeling assumptions and prove they are consistent and non-over-constraining
- Drive formal coverage closure and integrate it into the verification signoff plan
- Partner with architects, RTL, and simulation teams to align formal and simulation verification
- Maintain automated infrastructure, scripting, and CI hooks for formal regression and proof tracking
- Use AI-assisted verification and debug workflows to improve productivity and coverage
Benefits
- Equity participation
- Medical coverage
- Dental coverage
- Vision coverage
- Paid time off
- Flexible work arrangements