DV Formal Verification

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

Own block- and SOC-level formal verification, debug, and proof convergence for our AI accelerator silicon. Work with chip-design and software teams driving DensityAI's AI accelerator program from first silicon through scale-out.

What you'll do

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

What we're looking for

• Exceptional abilities in formal verification: property authoring (SVA / PSL), proof strategies, and tool-flow ownership
• Master's + 8 years of experience in block- and full-chip formal verification on complex SOCs
• Demonstrated ability to debug proof failures and drive convergence in collaboration with RTL designers and architects
• Hands-on with industry-standard formal tools (Synopsys VC Formal, Cadence Jasper, or equivalent)
• (Optional) Security verification, processor verification, equivalence checking, or AMS / IP-flow exposure

Compensation

Final offers depend on level, location, and skills relevant to the role. Additional compensation: equity grant per company guidelines; medical / dental / vision; 401(k); standard PTO.

DensityAI sponsors qualified candidates for H-1B, O-1, TN, E-3, and other employment-based visas, and we welcome applicants on F-1 OPT and STEM-OPT. Work authorization is required at start; we provide immigration support to secure or transfer status.

Export Controls

Aspects of this role may involve access to information subject to U.S. export controls (EAR/ITAR). We may discuss licensing or scope adjustments during the interview.

DensityAI is an Equal Opportunity Employer. We do not discriminate on the basis of race, color, religious creed, national origin, ancestry, physical or mental disability, medical condition, genetic information, marital status, sex, gender, gender identity, gender expression, age (40+), sexual orientation, military or veteran status, pregnancy, or any other status protected by law. We comply with the California CROWN Act and provide reasonable accommodations on request.

Full compensation packages are based on candidate experience and relevant certifications.

$200,000 - $320,000 USD

Compensation

Final offers depend on level, location, and skills relevant to the role. Additional compensation: equity grant per company guidelines; medical / dental / vision; 401(k); standard PTO.

DensityAI sponsors qualified candidates for H-1B, O-1, TN, E-3, and other employment-based visas, and we welcome applicants on F-1 OPT and STEM-OPT. Work authorization is required at start; we provide immigration support to secure or transfer status.

Export Controls

Aspects of this role may involve access to information subject to U.S. export controls (EAR/ITAR). We may discuss licensing or scope adjustments during the interview.

DensityAI is an Equal Opportunity Employer. We do not discriminate on the basis of race, color, religious creed, national origin, ancestry, physical or mental disability, medical condition, genetic information, marital status, sex, gender, gender identity, gender expression, age (40+), sexual orientation, military or veteran status, pregnancy, or any other status protected by law. We comply with the California CROWN Act and provide reasonable accommodations on request.