D

DensityAI

High-density AI infrastructure for data centers

DV Formal Verification

Hardware Validation & TestingConfirmed live in the last 24 hours
Full-timeMountain View, CA, USAIn-person

About the Job

Requirements

  • Exceptional ability in formal verification, including property authoring with SystemVerilog Assertions or Property Specification Language, proof strategies, and tool-flow ownership.
  • A master's degree and 8 years of experience in block- and full-chip formal verification on complex systems-on-chip.
  • Ability to debug proof failures and drive convergence in collaboration with RTL designers and architects.
  • Hands-on experience with industry-standard formal tools such as Synopsys VC Formal, Cadence Jasper, or equivalent.

Responsibilities

  • Own block- and system-on-chip-level formal verification, debugging, and proof convergence for AI accelerator silicon.
  • Use and develop AI-assisted tool flows, including AI agents for proof guidance, to accelerate convergence on complex designs.
  • Work with chip-design and software teams to drive the AI accelerator program from first silicon through scale-out.

Desired Qualifications

  • Exposure to security verification, processor verification, equivalence checking, or analog/mixed-signal or intellectual-property flows.

About the Company

DensityAI

High-density AI infrastructure for data centers

DensityAI designs high-density, full-stack AI infrastructure for data centers, with custom chips, hardware, and software tightly integrated. Its products are aimed at automotive and robotics applications, delivering end-to-end AI workflows from perception and decision-making to control. The platform leverages hardware-software co-design to achieve higher performance, better power efficiency, and lower costs, addressing scalability and sustainability in AI computing. Unlike typical vendors, DensityAI combines a strong ex-Tesla leadership with a team of Dojo alumni and other industry veterans to offer a plug-and-play solution for OEMs and operators, simplifying the deployment of AI infrastructure. The company plans to raise substantial funding to speed development, validate deployments in its core markets, and broaden into general AI data center use and a comprehensive developer ecosystem.

Company size
51-200
Company stage
Acquired
Total funding
Not listed
Headquarters
Mountain View, CA
Founded
2024

Recently Posted Jobs

Explore more opportunities at DensityAI

See more jobs