Bluespec Design Engineer
MatX
<p><strong>What MatX Is Building</strong></p> <p>MatX is seeking engineers with <strong>strong Haskell skills</strong> 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.</p> <p>You will write hardware in <strong>Bluespec</strong>, a hardware description language rooted in Haskell's type system and semantics. If you've ever wished you could design hardware with the composability and correctness guarantees of a modern functional language, this is the role for you. <strong>You do not need prior hardware experience to apply — if you know Haskell, we will teach you the hardware side.</strong></p> <p><strong>What You'll Do Here</strong></p> <ul> <li>Build production hardware for compute, memory management, and high-speed connectivity</li> <li>Develop reusable, parameterized Bluespec libraries that scale across the chip</li> <li>Shape hardware architecture by leveraging the power of Bluespec to explore implementation tradeoffs and converge on the best designs</li> <li>Create innovative tooling for our hardware/software ecosystem to help us build correct, high-performance hardware faster</li> </ul> <p><strong>Who You Are</strong></p> <ul> <li>Proficient in <strong>Haskell</strong> — you're comfortable with monads, typeclasses, higher-order functions, and do-notation. You understand why return injects a value into a monadic context and what &lt;- does in a do-block</li> <li>Strongly willing to quickly ramp on <strong>Bluespec Haskell (BH)</strong></li> <li>Strong engineering fundamentals — you write clean, well-tested, well-documented code and are comfortable with build systems, version control, and CI workflows</li> </ul> <p><strong>Bonus Points If You Have</strong></p> <ul> <li>Existing experience with Bluespec.</li> <li>Prior hardware design experience — ASIC or FPGA. If you already understand clock domains, pipelining, state machines, synthesis, and timing closure, that's a significant advantage.</li> <li>Production Rust experience. If you know Haskell, Rust is easy, but if you've already used it on something real, that's a head start</li> </ul> <p><strong>Getting started with Bluespec:</strong></p> <ul> <li>If you're new to Bluespec, start here:<a href="https://yehowshuaimmanuel.com/posts/getting-started-with-bluespec/"> Getting Started With Bluespec</a></li> <li>For a hands-on introduction to the language, see Rishiyur Nikhil's<a href="https://github.com/rsnikhil/ICFP2020_Bluespec_Tutorial/blob/master/ICFP2020_Bluespec_Tutorial.adoc"> ICFP 2020 Bluespec Tutorial</a></li> </ul> <p><strong>Compensation</strong></p> <p>The US base salary for this full-time position is determined based on a variety of factors including role, experience, location, job related skills, and relevant education and training. Career length is only a guideline for compensation.</p> <ul> <li>Early Career - $120,000 - $250,000 + equity</li> <li>Mid Career - $175,000 - $362,500 + equity</li> <li>Senior Career - $250,000 - $475,000 + equity</li> </ul> <p><strong>What We Offer</strong></p> <ul> <li><strong>A Stake in our success </strong>A flexible cash equity compensation mix that fits your needs</li> <li><strong>Health &amp; Wellness&nbsp;</strong>Compan