Bluespec Design Engineer (Haskell)

About the Role

MatX is seeking engineers with strong Haskell skills to join our team as we create best-in-class silicon for high-performance and sustainable GenAI. The successful candidate for this role will be responsible for delivering performant silicon RTL at the full-chip or subsystem level. You will write hardware in Bluespec, a hardware description language rooted in Haskell's type system and semantics.

Key Responsibilities

• Build production hardware for compute, memory management, and high-speed connectivity
• Develop reusable, parameterized Bluespec libraries that scale across the chip
• Shape hardware architecture by leveraging the power of Bluespec to explore implementation tradeoffs and converge on the best designs
• Create innovative tooling for our hardware/software ecosystem to help us build correct, high-performance hardware faster

Requirements & Tech Stack

• Proficient in Haskell — comfortable with monads, typeclasses, higher-order functions, and do-notation. Understands why return injects a value into a monadic context and what <- does in a do-block.
• Strongly willing to quickly ramp on Bluespec Haskell (BH)
• Strong engineering fundamentals — writes clean, well-tested, well-documented code and is comfortable with build systems, version control, and CI workflows
• Bluespec (as a language to learn)

Qualifications

• Existing experience with Bluespec (bonus)
• Prior hardware design experience — ASIC or FPGA (bonus). Understanding clock domains, pipelining, state machines, synthesis, and timing closure is a significant advantage.
• Production Rust experience (bonus)

Note: Prior hardware experience is not required if you know Haskell; the hardware side will be taught.