ITAR Notice: This role involves access to ITAR-controlled information. Applicants must be U.S. persons (U.S. citizens, U.S. permanent residents, asylees, or refugees) per 22 CFR 120.62.
About the roleOwn 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
CompensationFinal 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 SponsorshipDensityAI 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 ControlsAspects 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.
Full compensation packages are based on candidate experience and relevant certifications.
California pay range
$200,000-$420,000 USD
