Densityai

DV Formal Verification

Mountain View, CA

Work authorization required$200k-$420kDetected 22 days ago

Agentic AIRecruitingCadenceCollaboration

About the role

Work with chip-design and software teams driving DensityAI's AI accelerator program from first silicon through scale-out.

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
Demonstrated ability to debug proof failures and drive convergence in collaboration with RTL designers and architects

Master's + 8 years of experience in block- and full-chip formal verification on complex SOCs
Work authorization is required at start
Work authorization is required at start; we provide immigration support to secure or transfer status.

Full compensation packages are based on candidate experience and relevant certifications.
California pay range
$200,000 - $420,000 USD

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.
California pay range
$200,000 - $420,000 USD

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.

This listing is sourced directly from Densityai's careers page and normalized into a canonical job model.