[Hiring] Hardware Tools Engineer @MatX

Role Description

MatX's mission is to make the world's best AI models run as efficiently as allowed by physics, bringing the world years ahead in AI quality and availability. We build the full stack, from silicon and rack design through compilers, kernels, and ML models.

This role builds the language and tools that MatX's architects, designers, and verification engineers use every day.

What You'll Do Here:

• Work with the hardware teams:
  • Find out where architects, designers, and verification engineers spend their time, and decide with them what to build.
  • A tool is finished when the engineers it was built for are using it and you can show what it changed for them.
• Evolve the language and the compiler:
  • Improve Bluespec, its type system, its libraries, and its compiler so that hardware is faster to write, faster to build, and easier to change late in a project.
  • Current examples include compile speed, stable and reproducible output, and language features that catch design errors earlier.
• Connect design and verification:
  • Build tools that make what the compiler knows about a design available to simulation and formal verification.
  • Current examples include assertions written in Bluespec, checks and formal assumptions generated by the compiler, and flows that check Rust reference models against the RTL.
• Improve the developer experience:
  • Build the debugging, editor, and build tools that make hardware engineers more productive.
  • Own testing and releases of the compiler and libraries so that a new release never breaks a team's build.
• Fix the cause:
  • When an engineer hits a problem, fix it in the compiler, the library, or the shared flow so that nobody hits it again.
  • Contribute fixes and features that belong in the open-source compiler upstream.

Qualifications

• Senior-level self-direction: You can take an ambiguous request from another team, work out the underlying problem, and drive it to a shipped tool without close supervision.
• Strong Haskell: You can write, debug, and profile production Haskell in a large codebase.
• Strong Rust: You write production Rust.
• You can read RTL: You can read Bluespec, Verilog, or SystemVerilog well enough to understand what the compiler produced.
• You build for other engineers: You have built tools that other engineers depend on, and you have changed them based on what those engineers told you.
• On-site or remote: You would work with teams across MatX, and the role can be based in our Mountain View, CA office or remote.
• Occasional travel: Expect a few trips a year to meet the teams you work with in person.

Requirements

• Experience building a compiler, or verifying one through translation validation, a verified compiler such as CompCert or CakeML, or systematic compiler testing and fuzzing.
• Contributions to bsc, GHC, rustc, or another production compiler.
• Experience with Bluespec (BH or BSV), Chisel, Clash, or another high-level hardware language.
• Experience with hardware verification: SystemVerilog Assertions, simulation testbenches, or model checking with JasperGold, VC Formal, or SymbiYosys.
• Experience with interactive theorem provers (Isabelle/HOL, Lean, Rocq), mechanized hardware semantics (Kami, Koika), or semantics frameworks (K, Sail, Ott).
• Experience with SAT or SMT solvers inside a type checker or another compiler pass.
• Experience with language servers, debuggers, or waveform tools.
• Open-source hardware tools and their internals: Yosys, Verilator, or SymbiYosys.

Benefits

• 4 weeks PTO (accrued) + 12 company Holidays + up to 3 weeks remote work.
• Company-subsidized Medical (Kaiser or Anthem) for employees & dependents, Guardian Dental and Vision insurances for employee & dependents, and life insurance (employee only), plus HSA and FSA offerings via Lively.
• Choose from Roth or pre-tax 401K (or both) with a 5% company contribution (even if you don't contribute), 100% company-paid life insurance (up to $300K), long-term disability and travel insurance.
• $1500 per year Professional Development Budget.
• MatX provides onsite team lunch & dinner Monday - Friday, with your choice of ordering via WeBox, Specialty’s or via our reimbursement system.
• We pay 100% for your daily commute. Commute via our company rideshare account, reimburse public transportation, or get a Fasttrak card (or all three).
• $50/mo to use on the perk you value most.
• $35/mo for cellular and $40/mo for wifi.
• Use our Amazon business account for up to $1000 in office setup purchases.
• 100% paid mental health benefit via SpringHealth and Guardian EAP.
• Up to 12 weeks paid parental leave regardless of path to parenthood, 10 weeks pregnancy disability leave, flexible return-to-work hours, and a $6K Family Fund to cover fertility, surrogacy, adoption, menopausal health, preservation, family counseling and more.