Senior Formal Verification Engineer
Velaura AI develops ultra-low-power compute technology for cloud, edge, and physical AI applications. It also offers Teraflux Bitcoin mining hardware, fleet-management software, and related support for mining operators.
Maintainer signals as of 8/14/2026
Funding history
About Velaura AI
Velaura AI is a semiconductor and technology company that provides patented ultra-low-power silicon design technology, IP, toolflows, and custom chiplet solutions for AI compute platforms. Its customers include hyperscaler and XPU companies seeking reduced power consumption and higher compute efficiency. The company also builds Teraflux Bitcoin mining products, including air-, hydro-, and immersion-cooled miners, ASICs, modular containers, miner firmware, fleet-management software, and enterprise customer support.
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