Rust SW-Silicon Co-verification Engineer
About The Position
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. 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.
Requirements
- 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 Result<T, E> is better than exceptions and what the borrow checker is actually protecting you from
- Strong engineering fundamentals — you write clean, well-tested, well-documented code and are comfortable with build systems, version control, and CI workflows
- Comfortable with low-level systems concepts: memory layout, concurrency, bit manipulation
- Genuinely interested in hardware and willing to ramp quickly on chip verification
Nice To Haves
- Experience with hardware in any capacity — FPGA projects, embedded systems, robotics, or prior roles touching hardware engineering
- Experience with foreign function interfaces — Rust FFI is ideal, but any experience crossing language boundaries is valuable
- Experience with Bluespec (BH or BSV)
- Formal methods, model checking, or property-based testing (e.g., proptest, Kani)
- Understanding of computer architecture: pipelines, caches, memory hierarchies, on-chip interconnects
Responsibilities
- Write Rust tests that verify our software models and hardware design agree with each other and with the specification
- Build test infrastructure in Rust that makes it easy to add new tests and run them at scale
- Develop and maintain harnesses that connect your tests to our hardware
- Write tests that systematically explore corner cases and rare event sequences — both targeted tests and tests that use randomization to find surprises
- Work with architects and design engineers to turn specifications into concrete, testable properties
Benefits
- 4 weeks PTO (accrued)
- 12 company Holidays
- up to 3 weeks remote work
- Company-subsidized Medical (Kaiser or Anthem) for employees & dependents
- Guardian Dental and Vision insurances for employee & dependents
- life insurance (employee only)
- HSA and FSA offerings via Lively
- Roth IRA/ 401K (or both) retirement plans
- up to 5% company contribution to 401K
- 100% company-paid life insurance (up to $300K)
- long-term disability insurances
- $1500 Professional Development Budget (per year)
- Onsite team lunch & dinner Monday - Friday
- Commute on our company Uber account, or reimburse your train rides. Either way, we pay 100% for your daily commute.
- $50/mo to use on the perk you value most
- $35/mo for cellular and $40/mo for wifi
- 100% paid mental health benefit via SpringHealth and Guardian EAP
- Up to 12 weeks paid parental leave regardless of path to parenthood
- 10 weeks pregnancy disability leave
- flexible return-to-work hours
- Benepass reproductive health & parental benefit
- Up to $20K/month in AI Resources plus a dedicated internal AI Tooling Team
Stand Out From the Crowd
Upload your resume and get instant feedback on how well it matches this job.
What This Job Offers
Job Type
Full-time
Career Level
Entry Level
Education Level
No Education Listed
