Rust SW-Silicon Co-verification Engineer
MatX
<p class="font-claude-response-body break-words whitespace-normal leading-[1.7]"><span style="font-size: 12pt;"><strong>What MatX Is Building</strong></span></p> <p class="font-claude-response-body break-words whitespace-normal leading-[1.7]">MatX is seeking engineers with strong Rust skills to join our team as we create best-in-class silicon for high-performance and sustainable GenAI. You will write Rust tests that verify our software models and hardware design behave identically and match the specification.</p> <p class="font-claude-response-body break-words whitespace-normal leading-[1.7]">Your tests and tooling will exercise the chip's software model and hardware design side by side, catching mismatches before they become silicon bugs. If you've ever wished your knack for writing correct, thorough Rust could be applied to something where correctness has million-dollar consequences, this is the role for you. You do not need prior hardware or verification experience to apply — if you know Rust, we will teach you the hardware side.</p> <h2 class="text-text-100 mt-3 -mb-1 text-[1.125rem] font-bold"><span style="font-size: 12pt;">What You'll Do Here</span></h2> <ul class="[li_&amp;]:mb-0 [li_&amp;]:mt-1 [li_&amp;]:gap-1 [&amp;:not(:last-child)_ul]:pb-1 [&amp;:not(:last-child)_ol]:pb-1 list-disc flex flex-col gap-1 pl-8 mb-3"> <li class="whitespace-normal break-words pl-2">Write Rust tests that verify our software models and hardware design agree with each other and with the specification</li> <li class="whitespace-normal break-words pl-2">Build test infrastructure in Rust that makes it easy to add new tests and run them at scale</li> <li class="whitespace-normal break-words pl-2">Develop and maintain harnesses that connect your tests to our hardware</li> <li class="whitespace-normal break-words pl-2">Write tests that systematically explore corner cases and rare event sequences — both targeted tests and tests that use randomization to find surprises</li> <li class="whitespace-normal break-words pl-2">Work with architects and design engineers to turn specifications into concrete, testable properties</li> </ul> <h2 class="text-text-100 mt-3 -mb-1 text-[1.125rem] font-bold"><span style="font-size: 12pt;">Who You Are</span></h2> <ul class="[li_&amp;]:mb-0 [li_&amp;]:mt-1 [li_&amp;]:gap-1 [&amp;:not(:last-child)_ul]:pb-1 [&amp;:not(:last-child)_ol]:pb-1 list-disc flex flex-col gap-1 pl-8 mb-3"> <li class="whitespace-normal break-words pl-2">Proficient in production Rust — you've shipped real systems. You're comfortable with ownership, traits, generics with bounds, and enums as sum types. You understand why <code class="bg-text-200/5 border border-0.5 border-border-300 text-danger-000 whitespace-pre-wrap rounded-[0.4rem] px-1 py-px text-[0.9rem]">Result&lt;T, E&gt;</code> is better than exceptions and what the borrow checker is actually protecting you from</li> <li class="whitespace-normal break-words pl-2">Strong engineering fundamentals — you write clean, well-tested, well-documented code and are comfortable with build systems, version control, and CI workflows</li> <li class="whitespace-normal break-words pl-2">Comfortable with low-level systems concepts: memory layout, concurrency, bit manipulation</li> <li class="whitespace-normal break-words pl-2">Genuinely interested in hardware and willing to ramp quickly on chip verification</li> <li>This is a hybrid role that will require you to work from our Mountain View, CA offi