Rust SW-Silicon Co-verification Engineer

MatX

$160K — $275K *
Telecommunications & Hardware
Less than 5 years of experience
Job Overview by Ladders

Qualifications

  • 5-7 years of experience with production Rust, including advanced features like ownership and generics
  • Strong coding skills with a focus on clean, documented, and tested code
  • Understanding of low-level systems concepts such as memory management and concurrency
  • Interest in hardware verification and the ability to learn quickly about chip verification
  • Proven ability to collaborate with architects and engineers in a hybrid work environment

Responsibilities

  • Write Rust tests to verify compliance between software models and hardware
  • Build scalable test infrastructure in Rust for streamlined testing
  • Develop and maintain test harnesses for hardware integration
  • Create systematic tests for corner cases and utilize randomization techniques
  • Collaborate with design engineers to derive testable properties from specifications

Benefits

  • 4 weeks accrued PTO, 12 company holidays, and up to 3 weeks remote work
  • Company-subsidized health insurance for employees and dependents, including medical, dental, and vision
  • 401K plan with a 5% company contribution, plus other retirement options
  • Annual professional development budget of $1500
  • Onsite team meals provided Monday through Friday
  • 100% reimbursement for commuting costs
  • Monthly stipends for perks and assistance with cellular/internet costs
  • Comprehensive mental health benefits fully covered
  • Parental leave of up to 12 weeks and flexible return-to-work hours
  • Robust resources for AI projects, including budget and internal support team
Full Job Description
What You'll Do Here
  • 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
Who You Are
  • 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 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
  • 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

Bonus Points If You Have
  • 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

Compensation

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.
  • Early Career - $160,000 - $275,000 + equity
  • Mid Career - $175,000 - $400,000 + equity
  • Senior Career - $250,000 - $600,000 + equity

What We Offer
  • Time off: 4 weeks PTO (accrued) + 12 company Holidays + up to 3 weeks remote work
  • Health: Company-subsidized Medical (Kaiser or Anthem) for employees & dependents, Guardian Dental and Vision insurances for employee & dependents, and life insurance (employee only), plus HSA and FSA offerings via Lively.
  • Financial Wellbeing: Choose from Roth IRA/ 401K (or both) retirement plans with up to 5% company contribution to 401K (even if you don't contribute). Also, 100% company-paid life insurance (up to $300K) and long-term disability insurances.
  • Professional Development: $1500 Professional Development Budget (per year)
  • Team Meals: MatX provides onsite team lunch & dinner Monday - Friday, with your choice of ordering via WeBox, Specialty's or via our reimbursement system
  • Commute on Us: Commute on our company Uber account, or reimburse your train rides. Either way, we pay 100% for your daily commute.
  • MatX E[x]tras: $50/mo to use on the perk you value most
  • Cell & Internet Reimbursement: $35/mo for cellular and $40/mo for wifi
  • Mental Wellbeing: 100% paid mental health benefit via SpringHealth and Guardian EAP.
  • Support to Parents: Up to 12 weeks paid parental leave regardless of path to parenthood, 10 weeks pregnancy disability leave, flexible return-to-work hours, and Benepass reproductive health & parental benefit.
  • AI Resources: Up to $20K/month plus a dedicated internal AI Tooling Team to support your productivity

Similar Jobs

More Jobs at MatX

More Telecommunications & Hardware Jobs

Find similar Rust SW-Silicon Co-verification Engineer jobs: