MatX
Hardware Tools Engineer
$160K–$600K
Mountain View (HQ) or Remote · Hybrid · Full-time · Posted Oct 23, 2026
- Experience
- Senior-level self-direction is expected; no specific number of years is stated.
About the job
Develop and maintain the Bluespec language, compiler, libraries, and engineering tools used by MatX hardware teams.
What you'll do
- Work with hardware teams to identify needs, build tools, and measure their impact.
- Improve Bluespec, its compiler and libraries, and tools for design, debugging, build, simulation, and formal verification.
- Maintain compiler and library testing and releases, fix root causes, and contribute appropriate changes upstream.
What they ask for
- Strong Haskell skills, including writing, debugging, and profiling production code in a large codebase.
- Strong production Rust skills.
- Ability to read Bluespec, Verilog, or SystemVerilog to understand compiler output and design, test, or proof behavior.
- Experience building tools used by other engineers and adapting them to feedback; comfort with Python, build systems, and CI.
Nice to have
- Compiler construction or verification experience, compiler contributions, or systematic compiler testing and fuzzing.
- Experience with hardware languages, hardware verification, theorem provers, SAT/SMT solvers, language tools, or open-source hardware tools.
Pay
$160,000 - $275,000 + equity (base salary); $175,000 - $400,000 + equity (base salary); $250,000 - $600,000 + equity (base salary)
Tools
Bluespec, Haskell, Rust, Python, Bazel, Verilog, SystemVerilog, CI
Model-written summary · the original posting is authoritative