# DV Formal Verification at Density

- Company: Density
- What the company does: Density shows you how people use your space and helps you get more out of every square foot. Backed by Kleiner Perkins and South Park Commons.
- Company website: https://www.density.io/
- Type: Startups (AI role)
- Level: Mid level
- Location: Mountain View, CA
- Work setup: On-site
- Posted: 2026-06-02
- Apply by: 2026-10-08
- Apply: https://job-boards.greenhouse.io/densityai/jobs/4264625009
- Page: https://www.1752.vc/careers/jobs/density-dv-formal-verification/

## 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 they'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

Tags: Hardware