Formal Verification Engineer

Acceler8; California; On-site; USD 250,000 - 350,000; Full time

Benefits offered by this job

Startup equity

Competitive salary

Job summary

Acceler8 Talent seeks a Formal Verification Engineer for Mountain View, CA or Austin, TX. You will own formal verification for complex silicon designs and help shape verification methodologies for a next‑generation AI compute platform.

You will develop verification strategies, write properties, and tackle challenging proof-convergence issues in close collaboration with RTL teams. This is an onsite, startup‑engineer environment offering significant equity.

Qualifications

• 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.

Responsibilities

• 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.

Skills

SVA (SystemVerilog Assertions)

Proof-convergence methods

JasperGold

VC Formal

Tools

JasperGold

VC Formal

Job description

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 aFormal Verification Engineerto 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