Remote Jobs Now
Matx

Rust SW-Silicon Co-verification Engineer

Who can apply: US-based role. The employer has not said which states are eligible — confirm before applying.
Location as listed by the employer: “Mountain View (HQ) or Remote”
Apply on Matx's site ↗

Opens the employer's official application page.

Generate a CV for this job

A CV tailored to this job's requirements in one click — boosted with testimonials from people who know your work.

Generate my CV

About this role

Matx is hiring for a Rust SW-Silicon Co-verification Engineer role (full-time). See the official posting for full details.

Requirements

  • Strong Rust experience.
  • Experience optimizing native code.
  • Experience with property testing, fuzzing, or similar technologies. Proptest, Hypothesis, Hedgehog, QuickCheck, SmallCheck, QuickChick, AFL(++), libFuzzer, etc.
  • Experience being responsible for the correctness of real-world systems. You should have been responsible for a system where correctness mattered, and have experience catching bugs before they hit prod and stopping them…
  • Experience with Bluespec, Haskell, or Verilog. Our RTL code is written in Bluespec Classic (which is mutually intelligible with Haskell) and Verilog. Understanding this code is important for this role, and we'll teach y…
  • Experience with microarchitecture. This could be working with ASICs or FPGAs, optimizing code for a particular CPU, or even writing a cycle-accurate simulator for another system (e.g. a game system).
  • Experience with design verification for hardware. This role complements traditional design verification; if you've done that, the experience is directly applicable.
  • Experience with formal verification, for software or hardware. Kani, Verus, ACL2, Agda, Lean, Isabelle, Rocq, Alloy, TLA+, JasperGold, etc. You won't be working directly with these technologies (a separate team does tha…

Summarized from the employer's posting — check the full posting for every requirement.