DV Formal Verification
Company websitedensityai.com (DensityAI, opens in new tab)
Base salary $200K to $320K
Employer-published annual base salary, USD. Advertised base range in Mountain View, CA
You apply on the employer's own site. Six Figure Work does not handle applications.
- LocationMountain View, CA
- WorkplaceWorkplace not stated
- Status at last checkSource accepting applications when checked
- Last checked (29 min ago) · observed since
About this job
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—$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.
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.
Source: DensityAI on Greenhouse · View original posting (opens in new tab)
Pay in context
This role's base floor ($200,000) is above 86% of the 2,090 Engineering (non-software) roles in California listed on this site; 29 others list the same floor. Their median floor is $146,900; the middle half runs from $125,000 to $173,750.
Only jobs on this site count, and each one publishes a base salary of $100,000 or more, so this compares six-figure jobs with each other, not with the whole market. Computed Nov 7, 2026.
This listingDV Formal Verification$200K to $320K
Product Operations Engineer$200K to $285K
Performance Verification Engineer$200K to $310K
Design Verification Engineer$200K to $300K
Thermal Engineer$195K to $230K
Packaging Mechanical Engineer$190K to $245K
RTL Engineer$215K to $300K
Chart as a table
| Role | Published base |
|---|---|
| DV Formal Verification (this listing) | $200K - $320K |
| Product Operations Engineer | $200K - $285K |
| Performance Verification Engineer | $200K - $310K |
| Design Verification Engineer | $200K - $300K |
| Thermal Engineer | $195K - $230K |
| Packaging Mechanical Engineer | $190K - $245K |
| RTL Engineer | $215K - $300K |
Observed changes
- First observed on the employer's board
- Began meeting the published-salary criteria
- Observed since
- Employer-stated posting date
- 2026-06-02
Where this pay comes from
Location as the employer wrote it: Mountain View, CA
$200,000—$320,000 USD
- Method
- Employer text, read with fixed rules and re-verified
- Checked
- Rule set
- us-base-v2
The pay passage appears in the employer's own job text. Fixed, deterministic rules located it, and the passage below was checked against the stored copy of the posting.
What we verified
- The pay figures come from the employer's own listing, quoted exactly above.
- The pay is an annual base salary in US dollars with a minimum of at least $100,000.
- The role was publicly listed on the employer's job board when last checked.
We do not verify what the employer will actually offer, whether the employer is still recruiting for the role, or anything beyond what the employer published. Full methodology.