Senior Formal Verification Engineer — AI Silicon

Acceler8 Talent; San Francisco (CA); Presencial; USD 120.000 - 180.000; Jornada completa

Descripción de la vacante

Acceler8 Talent is seeking a Formal Verification Engineer to lead the verification strategy for AI accelerator silicon.

You'll own block- and SoC-level verification, develop SVA/PSL properties, and collaborate with architecture, RTL, and software teams to drive robust hardware from first silicon through future generations. This is a hands-on, high-impact role in an early-stage startup.

Formación

• Master's degree or equivalent experience in formal verification.
• 8+ years of experience verifying complex SoCs.
• Expertise in SVA and PSL property authoring and convergence.
• Experience debugging formal failures with RTL designers.
• Experience with VC Formal or JasperGold or equivalent tools.
• Strong understanding of modern digital design and microarchitecture.

Responsabilidades

• Own block- and SoC-level formal verification for AI accelerator silicon from property development to proof convergence.
• Develop SystemVerilog Assertions (SVA) and formal environments to verify microarchitectural and system-level behavior.
• Debug proof failures and collaborate with RTL designers to drive closure.
• Build and improve verification methodologies and AI-assisted flows.
• Apply formal techniques from architecture validation to silicon bring-up readiness.
• Partner with design, verification, and software teams to ensure robust hardware.

Conocimientos

Formal verification

SVA/PSL

Debugging formal failures

RTL collaboration

Educación

Master's degree or equivalent

Herramientas

Synopsys VC Formal

Cadence JasperGold

Descripción del empleo

Acceler8 Talent is seeking a Formal Verification Engineer to lead the verification strategy for AI accelerator silicon.

You'll own block- and SoC-level verification, develop SVA/PSL properties, and collaborate with architecture, RTL, and software teams to drive robust hardware from first silicon through future generations. This is a hands-on, high-impact role in an early-stage startup.