Rust SW-Silicon Co-verification Engineer at 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 office 3 days a week on Tuesday through Thursday</li> </ul> <p><span style="font-size: 12pt;"><strong>Bonus Points If You Have</strong></span></p> <ul> <li class="whitespace-normal break-words pl-2">Experience with hardware in any capacity — FPGA projects, embedded systems, robotics, or prior roles touching hardware engineering</li> <li class="whitespace-normal break-words pl-2">Experience with foreign function interfaces — Rust FFI is ideal, but any experience crossing language boundaries is valuable</li> <li class="whitespace-normal break-words pl-2">Experience with Bluespec (BH or BSV)</li> <li class="whitespace-normal break-words pl-2">Formal methods, model checking, or property-based testing (e.g., proptest, Kani)</li> <li class="whitespace-normal break-words pl-2">Understanding of computer architecture: pipelines, caches, memory hierarchies, on-chip interconnects</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&nbsp;</strong>A cash/equity mix that fits your needs and option to do early exercise</li> <li><strong>Health &amp; Wellness&nbsp;</strong>Company subsidized Health, Dental, Vision, and Life insurance; Pre-tax Health Savings Accounts with generous company contribution (even if you don’t)</li> <li><strong>Time To Recharge&nbsp;</strong>4 weeks paid time off (accrued), 12 company holidays, and 3 weeks remote/flexible work per year</li> <li><strong>Support to Parents</strong>&nbsp;Up to 12 weeks of paid parental leave, regardless of your path to parenthood</li> <li><strong>Learning &amp; Development&nbsp;</strong>$1,500 yearly towards your professional development e.g. conferences, courses, and other learning opportunities</li> <li><strong>Team Connection</strong>&nbsp;Team Lunches, quarterly off-sites, and regular town halls</li> <li><strong>Financial Wellbeing&nbsp;</strong>401K and/or Roth IRA, with 5% company contribution, even if you don’t!</li> <li><strong>Flexible Spending Accounts</strong>&nbsp;Pre-tax spend accounts for medical, dental/vision, dependent care, parking, and transit expenses</li> <li><strong>Commute On Us</strong>&nbsp;For those commuting up to 1 hour, put your rideshare cost on our company card and reclaim the drive-time to get work done!</li> <li><strong>MatX E[x]tras&nbsp;</strong>$50 per month to use on the perks you care about most&nbsp;</li> <li><strong>Remote Perks</strong>&nbsp;We work remotely Monday &amp; Friday, supported by home-tech setup, and remote wifi expense reimbursement</li> </ul> <p><em>As part of our dedication to the diversity of our team and our focus on creating an inviting and inclusive work experience, MatX is committed to a policy of Equal Employment Opportunity and will not discriminate against an applicant or employee on the basis of race, color, religion, creed, national origin or ancestry, sex, gender, gender identity, gender expression, sexual orientation, age, physical or mental disability, medical condition, marital/domestic partner status, military and veteran status, genetic information or any other legally recognized protected basis under federal, state or local laws, regulations or ordinances.</em></p> <p><strong><em>All candidates must be authorized to work in the United States and work from our offices in Mountain View Tuesdays-Thursdays.</em></strong></p> <p><em>This position requires access to information that is subject to U.S. export controls. This offer of employment is contingent upon the applicants capacity to perform job functions in compliance with U.S. export control laws without obtaining a license from U.S. export control authorities.</em></p> <p>&nbsp;</p> <p><em>MatX does not accept unsolicited resumes from individual recruiters or third-party recruiting agencies in response to job postings. No fee will be paid to third parties who submit unsolicited candidates directly to our hiring managers or People team and any resumes submitted are deemed to be the property of MatX.</em></p>