This is a senior, hands-on
individual-contributor (IC) technical leadership role. You will own the verification strategy for the compute datapath and drive it across two complementary worlds:
conventional silicon verification (SystemVerilog/UVM, assertion-based, formal) and
Rust-based software-silicon co-simulation. You will set direction, raise the bar on quality and coverage, and provide technical guidance to verification engineers working in both styles - including early-career engineers growing into independent owners.
What You'll Do Here- 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
Who You Are- 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
Bonus Points If You Have- 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
CompensationThe US base salary for this full-time position is determined based on a variety of factors including role, experience, location, job related skills, and relevant education and training. Career length is only a guideline for compensation.
- Early Career - $120,000 - $275,000 + equity
- Mid Career - $175,000 - $450,000 + equity
- Senior Career - $275,000 - $600,000 + equity
What We Offer- A Stake in our success A cash/equity mix that fits your needs and option to do early exercise
- Health & Wellness Company subsidized Health, Dental, Vision, and Life insurance; Pre-tax Health Savings Accounts with generous company contribution (even if you don't)
- Time To Recharge 4 weeks paid time off (accrued), 12 company holidays, and 3 weeks remote/flexible work per year
- Support to Parents Up to 12 weeks of paid parental leave, regardless of your path to parenthood
- Learning & Development $1,500 yearly towards your professional development e.g. conferences, courses, and other learning opportunities
- Team Connection Team Lunches, quarterly off-sites, and regular town halls
- Financial Wellbeing 401K and/or Roth IRA, with 5% company contribution, even if you don't!
- Flexible Spending Accounts Pre-tax spend accounts for medical, dental/vision, dependent care, parking, and transit expenses
- Commute On Us For those commuting up to 1 hour, put your rideshare cost on our company card and reclaim the drive-time to get work done!
- MatX E[x]tras $50 per month to use on the perks you care about most
- Remote Perks We work remotely Monday & Friday, supported by home-tech setup, and remote wifi expense reimbursement
All candidates must be authorized to work in the United States and work from our offices in Mountain View Tuesdays-Thursdays.
