Rust SW-Silicon Co-verification Engineer

Job Title

Rust SW-Silicon Co-verification Engineer

Role Summary

Join MatX's hardware team to write Rust tests and tooling that verify software models and hardware designs behave identically and match specifications. The role focuses on test development, harnesses, and infrastructure to catch mismatches before silicon.

Experience Level

Mid-level — engineers with prior production Rust experience are preferred. This is a hybrid role requiring regular onsite work in Mountain View, CA (see Requirements for schedule).

Responsibilities

You will develop tests, infrastructure, and harnesses to exercise the software model and hardware design together.

• Write Rust tests that compare software models and hardware implementations against the specification.
• Build test infrastructure in Rust for scalable test development and execution.
• Develop and maintain harnesses that connect tests to hardware.
• Create targeted and randomized tests to explore corner cases and rare event sequences.
• Collaborate with architects and design engineers to convert specifications into testable properties.

Requirements

Must-have skills and constraints required to perform the role.

• Proficient in production Rust: experience shipping real systems and familiarity with ownership, traits, generics, enums, and Result-based error handling.
• Strong engineering fundamentals: clean, tested, documented code; familiarity with build systems, version control, and CI.
• Comfortable with low-level systems concepts: memory layout, concurrency, and bit manipulation.
• Motivated to learn hardware verification; prior hardware experience is not required.
• Authorized to work in the United States and able to work from MatX's Mountain View, CA office three days per week (Tuesday–Thursday).
• Must be able to comply with U.S. export control requirements applicable to the role.

Nice-to-have

• Experience with FPGA, embedded systems, robotics, or other hardware projects.
• Experience with foreign function interfaces (Rust FFI or other language crossings).
• Experience with Bluespec (BH/BSV), formal methods, model checking, or property-based testing (e.g., proptest, Kani).
• Understanding of computer architecture: pipelines, caches, memory hierarchies, interconnects.

Education Requirements

Not specified.

About the Company

Company: MatX

Headquarters: Mountain View, California, USA

MatX specializes in creating faster chips for large language models (LLMs), focusing on innovative hardware and software solutions. The company fosters a collaborative and supportive work environment, welcoming candidates of all experience levels. Their approach prioritizes deep understanding and consideration of novel methods to drive efficiency and performance in their projects, particularly in silicon design and related engineering roles.