D

Senior AI Compute Core Verification Engineer

densityai • United State
Visa Sponsorship
Apply Now
AI Summary

Lead verification of DensityAI’s AI accelerator compute core, including tensor pipelines, MAC arrays, and memory interconnects. Develop AI-assisted tool flows to accelerate datapath verification while collaborating with hardware and software teams. Requires deep expertise in arithmetic/datapath verification, SystemVerilog, UVM, and C++ with a focus on numerical correctness and constrained-random methodologies.

Key Highlights
Own verification of AI compute core components (tensor pipelines, MAC arrays, accumulators, and compute ↔ memory interconnect)
Develop and utilize AI-assisted tool flows to accelerate verification timelines
Collaborate with chip-design and software teams from first silicon through scale-out
Key Responsibilities
Own verification of DensityAI’s AI compute core, including tensor pipelines, MAC arrays, accumulator logic, and compute ↔ memory interconnect
Develop and apply AI-assisted tool flows to accelerate datapath verification timelines
Conduct constrained-random verification, coverage-driven closure, and debug across long verification pipelines
Collaborate with chip-design and software teams to drive the AI accelerator program from first silicon through scale-out

Searching for Development & Programming roles that provide visa sponsorship? Connect with international employers through Development & Programming Jobs with Visa Sponsorship opportunities actively seeking talented professionals.

Technical Skills Required
SystemVerilog UVM C++
Benefits & Perks
Equity grant per company guidelines
Medical, dental, and vision insurance
401(k) retirement plan
Standard paid time off (PTO)

Explore our comprehensive directory of visa sponsorship jobs from employers worldwide who are ready to sponsor talented international professionals.

Nice to Have
Strong understanding of numerical correctness (FP rounding, denormals, saturation) and golden-model comparison
Formal methods (FPV, DPV) and custom golden model development in C++ or Python
Familiarity with commercial formal tools like JasperGold or VC_Formal

Job Description

Own verification of our AI compute core - tensor pipelines, MAC arrays, accumulator logic, and the compute ↔ memory interconnect. Work with chip-design and software teams driving DensityAI's AI accelerator program from first silicon through scale-out.What you'll do
  • Own verification of our AI compute core - tensor pipelines, MAC arrays, accumulator logic, and the compute ↔ memory interconnect
  • Use and develop AI-assisted tool flows to accelerate datapath verification timelines

What we're looking for
Want the full job description? Read the complete details on LinkedIn, the original posting.
Continue on LinkedIn

This is a short excerpt. All rights to the full description belong to its original publisher.

Ready to apply?

Apply Now
See Jaabz jobs first on Google 1 tap · free · in AI Overviews Jaabz is on your Google Manage Preferred Sources
Job Overview
Posted Oct 27, 2026
Employment Full-time
Experience Mid-Senior level
Location United State
Category Programming
Company densityai
Keep exploring

Similar Jobs

Explore other opportunities that match your interests

Visas, Work Permits & Legal Insights

Stay informed about visa types, work permits, and immigration updates for international professionals.

Browse all articles

Subscribe to our newsletter

New visa sponsorship, relocation and remote tech jobs, delivered to your inbox.