Hardware Tools Engineer
Core
Build the Bluespec compiler, hardware libraries, and tooling that connects design and verification for MatX's AI chip development.
Role type
Senior IC hardware tools engineer (compiler & tooling)
Builds
The Bluespec compiler, hardware libraries, and developer tools for architects, designers, and verification engineers
Domain
Semiconductor hardware design, compiler engineering, and formal verification
Deliverable
production ML models
Required skills
Haskell, Rust, RTL reading (Bluespec/Verilog/SystemVerilog), build systems (Bazel), CI/CD, debugging, release management
Preferred skills
Compiler construction, translation validation, hardware verification (SVA, model checking), interactive theorem provers, SAT/SMT solvers, language servers, open-source hardware tools
Technologies
Bluespec, Haskell, Rust, Verilog, SystemVerilog, Bazel, Yosys, Verilator, SymbiYosys, JasperGold, VC Formal, SymbiYosys, Isabelle/HOL, Lean, Rocq, K, Sail, Ott
Responsibilities
Collaborate with hardware teams to define tool requirements and prioritize features; Evolve the Bluespec language, type system, and compiler for performance and correctness; Build tools connecting compiler knowledge to simulation and formal verification; Improve developer experience with debugging, editor, and build tools; Fix root causes of engineering problems in the compiler or shared flows
Seniority
Senior, self-directed IC
