DV Formal Verification
- Pay
- $200,000 – $320,000 per year
- Location
- Mountain View, CA · On-site
- Job type
- Full-time
- Level
- Senior
- Experience
- 8+ years
- Education
- Master's degree
- Listed
- 30 days ago
Skills & highlights for this role
- ITAR eligibility
- SVA
- PSL
- Synopsys VC Formal
- Cadence Jasper
Also useful
- security verification
- processor verification
- equivalence checking
Stated benefits & perks
- Medical
- Dental
- Vision
- 401k
- Pto
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 and legal notices
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
From DensityAI's careers page, first listed on Rolev.ai on October 10, 2026. Rolev.ai is not the employer.
How Rolev.ai helps with this application
Rolev.ai is a job search and application tool for US job seekers. For this DV Formal Verification role at DensityAI, it shows how your resume fits, tailors your resume to the posting, and prepares the application for you to review.
See how you fit
Openings from employer career sites are ranked against your whole resume—and searchable inside Claude, ChatGPT, and Cursor via Rolev.ai MCP.
Tailor without inventing
Every change to your resume is checked against your original. New experience goes in only with your yes—zero fabricated claims.
Draft the full kit
Tailored and Full Match resumes, role-specific cover letters, and answers to employer screening questions are prepared in seconds.
1-Click Extension Autofill
The Chrome extension fills the employer's Greenhouse, Workday, Lever, or Ashby form in 1 click. You review it and press Submit.
Similar roles
All Electronics Engineer jobs- Staff Systems EngineerNgc · Melbourne, FL · $153k – $229k/yr
- Etch Equipment EngineerNxp · Austin, TX
- Senior Staff Analog Design EngineerRenesas Electronics · Chandler, AZ
- Wireless Hardware Engineer Intern - Summer 2027Skydio · San Mateo, CA
- Silicon Photonics Control & Calibration Engineer - Optical Circuit Switches (OCS)Voyant Photonics · New York, NY
- Test EngineerNgc · Elkton, MD · $87.6k – $131k/yr
Common questions
What is the salary for the DV Formal Verification role at DensityAI?
The DV Formal Verification posting at DensityAI states compensation of $200,000 – $320,000 per year. It is listed as a full-time position. Final pay may depend on location, experience, and interview evaluation on DensityAI's official career site.
Where is the DV Formal Verification job at DensityAI located?
This DV Formal Verification position at DensityAI is located in Mountain View, CA (On-site). Always check DensityAI's application page for specific state eligibility or relocation policies.
What qualifications are required for DV Formal Verification at DensityAI?
For the DV Formal Verification role, DensityAI highlights 8+ years of relevant experience; a master's degree; experience with SVA, PSL, Synopsys VC Formal, Cadence Jasper. Rolev.ai can score your existing resume against these requirements and show any skill gaps before you apply.
How do I apply for the DV Formal Verification position at DensityAI?
This listing links directly to DensityAI's Greenhouse application page. You can apply directly on DensityAI's site, or use Rolev.ai to check your resume fit, generate a zero-hallucination tailored resume and cover letter for this posting, and autofill the Greenhouse application form in 1 click with the Rolev.ai Chrome extension. You always review the form and press Submit yourself.