Lead Formal Verification Architect for AI Silicon Onsite

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

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.