Formal Verification Engineer (AI Hardware)

Location: Remote across Eastern and Central Time Zones in the US

Salary: $300,000–$400,000 annually

Company

Early-stage AI hardware startup developing AI datacenter infrastructure and silicon.

What you will do

• Own block- and SoC-level formal verification for AI accelerator silicon, from property development through proof convergence.
• Develop SystemVerilog Assertions and formal verification environments for complex microarchitectural and system-level behavior.
• Debug proof failures, identify root causes, and collaborate with RTL designers and architects to drive closure.
• Build formal verification methodologies, infrastructure, and AI-assisted verification flows, including AI agents for proof generation and convergence.
• Apply formal techniques from early architectural validation through silicon bring-up readiness.
• Partner with design, verification, and software teams to deliver robust, scalable hardware.

Requirements

• Master's degree or equivalent experience and 8+ years of formal verification experience for complex SoCs.
• Deep expertise in formal verification methodologies, including property authoring with SVA and/or PSL, proof strategies, abstraction techniques, and convergence.
• Strong experience debugging formal failures and working directly with RTL designers to resolve issues.
• Hands-on experience with Synopsys VC Formal, Cadence JasperGold, or equivalent tools.
• Strong understanding of modern digital design and microarchitecture.

Nice to have

• Processor or security verification experience.
• Equivalence checking experience, including LEC or SEC.
• AMS verification or IP verification flow experience.
• Experience building automation or AI-assisted verification workflows.

Culture & Benefits

• Opportunity to own verification for critical AI accelerator hardware at an early-stage company.
• Work on technically ambitious silicon with significant architectural influence.
• Define next-generation AI-assisted formal verification methodologies.
• Collaborate with a small, highly experienced team building AI infrastructure.