Formal Verification Engineer
LB315
Posted: 10/11/2026
- $250,000 - $350,000
- Austin, Texas Metropolitan Area
- Permanent
🚀 Hiring: Formal Verification Engineer | Next-Generation AI Hardware | Mountain View, CA & Austin, TX
I'm working with an exciting AI hardware startup developing a completely new computing architecture, pushing the boundaries of performance, power efficiency and compute density.
Founded by engineers behind some of the world's most advanced computing systems, including Tesla Dojo, AMD Zen and Apple Silicon, they're building a next-generation AI compute platform from the ground up.
They're looking for a Formal Verification Engineer to take ownership of formal verification for complex silicon designs and help shape the verification methodology behind their hardware.
What you'll be working on:
→ Develop formal verification strategies for complex CPU, GPU and AI accelerator designs
→ Write assertions, properties and formal verification plans from scratch
→ Solve challenging proof-convergence problems using abstraction, decomposition and advanced formal techniques
→ Work closely with RTL designers and verification engineers to identify complex design issues
→ Help establish formal verification methodologies for next-generation silicon
What they're looking for:
- Strong hands-on experience with JasperGold, VC Formal or equivalent tools
- Deep expertise in SystemVerilog Assertions (SVA) and property development
- Experience solving complex proof-convergence challenges
- Background in CPU, GPU, ASIC, SoC or AI accelerator verification
- Experience delivering formal verification for production silicon
This is an opportunity to join a highly technical team where you'll have genuine ownership, work alongside world-class silicon engineers and help build an entirely new AI computing platform.
📍 Mountain View, CA / Austin, TX | Onsite
$250- $350K base + meaningful startup equity
Kirstie Horsley
Researcher