DV Formal Verification
Most applications go out cold — see where you stand first. No sign-up to start.
Don't just apply. Show up ready.
Olive works from this exact posting — no sign-up to start.
At a glance
Requirements
Credentials this posting asks for.
Job overview
DensityAI is hiring a DV Formal Verification. The role owns block- and SOC-level formal verification, debugging, and proof convergence for DensityAI's AI accelerator silicon, collaborating with chip‑design and software teams to drive the program from first silicon through scale‑out while developing AI‑assisted tool flows.
Key focus areas include Own block- and SOC-level formal verification, debug, and proof convergence for AI accelerator silicon and Use and develop AI-assisted tool flows including AI agents for proof guidance to accelerate convergence on complex designs.
Successful candidates bring Master's Degree and 8 Years Of Experience In Block- And Full-Chip Formal Verification On Complex SOCs. Important skills include Formal Verification, SVA, PSL, Proof Strategies, Tool-Flow Ownership, and Debug Proof Failures. Preferred (not required): Security Verification, Processor Verification, Equivalence Checking, and AMS / IP-Flow Exposure.
Skills & qualifications
Skills
Qualifications
Benefits
Full job description
About the role 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.
Visa Sponsorship 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.
Equal Opportunity 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
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.
Visa Sponsorship 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.
Equal Opportunity 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.
You've read the whole posting — now see how you match it.