MatX
Rust SW-Silicon Co-verification Engineer
$160K–$600K
Mountain View (HQ) or Remote · Hybrid · Full-time · Posted Apr 13, 2026
- Visa sponsorship
- Employment is contingent on the applicant’s ability to perform job functions in compliance with U.S. export control laws without obtaining a license from U.S. export control authorities.
About the job
Performs differential testing of MatX’s chip RTL and Rust cycle-accurate simulator, checks behavior against specifications, and improves simulation performance.
What you'll do
- Generate tests and compare RTL and simulator results, checking both against specification properties where possible.
- Optimize the simulator and technologies for simulating RTL.
- Address challenges in sampling chip states and minimizing long test cases that expose divergences.
What they ask for
- Strong Rust experience.
- Experience optimizing native code.
- Experience with property testing, fuzzing, or similar technologies.
- Responsibility for correctness of real-world systems, including catching bugs before production and preventing recurrence.
Nice to have
- Experience with Bluespec, Haskell, or Verilog.
- Experience with microarchitecture, hardware design verification, formal verification, or search and optimization.
Pay
$160,000 - $275,000 USD base salary; $175,000 - $400,000 USD base salary; $250,000 - $600,000 USD base salary
Tools
Rust, Proptest, Hypothesis, Hedgehog, QuickCheck, SmallCheck, QuickChick, AFL(++)
Model-written summary · the original posting is authoritative