Compute Verification Lead

MatX•Mountain View, CA

12h•$120,000 - $600,000•Hybrid

About The Position

MatX is building the compute platform for AGI, developing vertically integrated full-stack solutions from silicon to systems, including hardware and software, to train and run the largest ML workloads for AGI. This role is for a senior, hands-on individual contributor (IC) technical leadership position focused on owning the verification strategy for the compute datapath. The role spans both conventional silicon verification (SystemVerilog/UVM, assertion-based, formal) and Rust-based software–silicon co-simulation. The successful candidate will set direction, improve quality and coverage, and mentor verification engineers.

Requirements

8+ years of silicon verification experience, including at least one tapeout owning a block's or subsystem's verification — concept-to-silicon experience driving verification from an architecture and/or design specification to production silicon
Strong software aptitude, with proven experience crossing language boundaries while driving verification goals — comfortable working across Rust, Python, and C/C++ as the task demands
Deep, hands-on expertise in conventional verification — SystemVerilog/UVM, assertion-based verification — with comfort across both formal and simulation-based verification
Able to lead across methodologies: you can guide engineers in conventional silicon verification and in Rust-based SW–silicon co-simulation, and set strategy that applies each where it fits
Either prior experience verifying designs expressed in abstracted / high-level HDLs (Bluespec, Chisel, etc.), or the ability to ramp quickly on Bluespec and drive verification strategy for designs written in it
Strong leadership and communication — you drive sign-off conversations, mentor engineers, and partner cleanly across architecture, design, SoC, and software

Nice To Haves

10+ years of silicon verification experience
Experience with the numerics of compute / matrix / vector-math datapaths (floating-point pipelines included) — enough to hold substantive conversations with architects
Production Rust experience, or experience standing up Rust-based co-simulation / co-verification flows
Hands-on experience in an abstracted / functional HDL ecosystem (Bluespec BH/BSV, Chisel, etc.)
Familiarity with emulation and prototyping platforms; participation in silicon debug and bring-up
Background in AI accelerator, GPU/TPU-class, or other high-throughput compute datapath verification

Responsibilities

Own and drive the end-to-end verification strategy — across block, subsystem, and SoC levels — spanning conventional (UVM/SV, assertion-based, formal) and Rust SW–silicon co-simulation approaches
Provide technical direction and mentorship to verification engineers working in both conventional silicon-verification and Rust co-simulation roles; grow early-career engineers into independent owners of their areas
Make and own the methodology calls — where conventional UVM/SV, Rust co-simulation, and formal each fit best — and drive verification strategy accordingly
Drive verification across the seams: partner with SoC integration, formal verification, and the software/modeling team to turn architectural specifications into concrete, testable properties and coverage closure
Plan and drive intermediate and sign-off reviews on test plans, execution progress, and verification closure toward design freeze and tapeout
Build and curate verification infrastructure and regressions the broader team can adopt and extend

Benefits

A cash/equity mix that fits your needs and option to do early exercise
Company subsidized Health, Dental, Vision, and Life insurance
Pre-tax Health Savings Accounts with generous company contribution
4 weeks paid time off (accrued)
12 company holidays
3 weeks remote/flexible work per year
Up to 12 weeks of paid parental leave, regardless of your path to parenthood
$1,500 yearly towards your professional development e.g. conferences, courses, and other learning opportunities
Team Lunches, quarterly off-sites, and regular town halls
401K and/or Roth IRA, with 5% company contribution
Pre-tax spend accounts for medical, dental/vision, dependent care, parking, and transit expenses
For those commuting up to 1 hour, put your rideshare cost on our company card and reclaim the drive-time to get work done!
$50 per month to use on the perks you care about most
Home-tech setup
Remote wifi expense reimbursement