Formal Verification Engineer

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

Job summary

Acceler8 Talent is seeking a Formal Verification Engineer to own formal verification for complex silicon designs and help shape the verification methodology for a next-generation AI compute platform. Based in Mountain View, CA or Austin, TX, this onsite role offers significant ownership and collaboration with RTL designers and verification engineers, with competitive base salary and startup equity.

Candidates should have hands-on experience with JasperGold/VC Formal, expertise in SystemVerilog

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 and decomposition.
• Work closely with RTL designers and verification engineers to identify design issues.
• Help establish formal verification methodologies for next-generation silicon.

Skills

SVA expertise

Proof-convergence

CPU/GPU/ASIC/SoC verification

Team collaboration

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