Senior Formal Verification Lead - AI Accelerator SoCs

DensityAI, Inc.; Mountain View (CA); On-site; USD 200,000 - 320,000; Full time

Benefits offered by this job

Equity grant

Medical insurance

Dental insurance

Vision insurance

401(k)

Paid time off

Job summary

DensityAI, Inc. seeks a senior verification engineer to own block- and SOC-level formal verification for our AI accelerator silicon, collaborating with chip-design and software teams from first silicon through scale-out.

You will use and develop AI-assisted tool flows and lead proof strategies, working closely with RTL designers to drive convergence and quality. We sponsor visas and offer equity plus comprehensive benefits.

Qualifications

• Master's degree and 8+ years of experience in block- and full-chip formal verification on complex SOCs.
• Expertise in property authoring (SVA/PSL) and proof strategies.
• Experience debugging proof failures and driving convergence with RTL designers.
• Hands-on with Synopsys VC Formal, Cadence Jasper, or equivalent.
• Optional: security verification, processor verification, equivalence checking, or AMS/IP-flow exposure.

Responsibilities

• Own block- and SOC-level formal verification, debug, and proof convergence for AI accelerator silicon.
• Use and develop AI-assisted tool flows — including AI agents for proof guidance — to accelerate convergence on complex designs.

Skills

Formal verification

SVA/PSL

Proof strategies

Tool-flow ownership

Debug proof failures

RTL collaboration

Education

Master's degree in EE/CS

Tools

Synopsys VC Formal

Cadence Jasper

Job description

DensityAI, Inc. seeks a senior verification engineer to own block- and SOC-level formal verification for our AI accelerator silicon, collaborating with chip-design and software teams from first silicon through scale-out.

You will use and develop AI-assisted tool flows and lead proof strategies, working closely with RTL designers to drive convergence and quality. We sponsor visas and offer equity plus comprehensive benefits.