Rust Co-Verification Engineer – Silicon (Hybrid)

MatX Inc.

Mountain View (CA)

Hybrid

USD 160,000 - 600,000

Full time

14 days+

Get more replies from employers

Send a job-specific resume in minutes.

Benefits offered by this job

PTO 4 weeks
Holidays 12
Remote work 3 weeks
Health insurance
401K match
Life insurance
Mental health support
AI tooling stipend

Job summary

MatX Inc. seeks engineers with strong Rust skills to verify our silicon through software models and hardware design. You will write Rust tests, build scalable test infra, and develop harnesses linking tests to hardware.

The role blends software and hardware verification with a focus on correctness and robust tooling. You will work in a hybrid setting at our Mountain View, CA office, three days a week, collaborating with architects and design engineers.

Qualifications

  • Proficient in production Rust with ownership, traits, generics, and enums
  • Strong engineering fundamentals: clean, well-tested code with 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

Responsibilities

  • Write Rust tests that verify software models and hardware design agree with the specification
  • Build test infrastructure in Rust to add tests and run them at scale
  • Develop and maintain harnesses connecting tests to hardware
  • Write tests that explore corner cases and rare event sequences including randomized tests
  • Collaborate with architects to translate specifications into testable properties

Skills

Rust
Systems programming
Testing & verification
Build systems & CI
Memory & concurrency

Tools

Bluespec
Proptest
Kani

Job description

MatX Inc. seeks engineers with strong Rust skills to verify our silicon through software models and hardware design. You will write Rust tests, build scalable test infra, and develop harnesses linking tests to hardware.

The role blends software and hardware verification with a focus on correctness and robust tooling. You will work in a hybrid setting at our Mountain View, CA office, three days a week, collaborating with architects and design engineers.

Get your free, confidential resume review.
or drag and drop your file here.
Similar jobs

Similar jobs worth comparing

Rust SW-Silicon Co-verification Engineer
Rust SW-Silicon Co-verification Engineer

MatX Inc. • Mountain View (CA)

Hybrid
USD 160,000 - 600,000
PTO 4 weeks
Holidays 12
Remote work 3 weeks
+5
Rust Systems Engineer: High-Performance GenAI Infra (Remote)
Rust Systems Engineer: High-Performance GenAI Infra (Remote)

MatX • Mountain View (CA)

Hybrid
USD 120,000 - 250,000
Equity
Health insurance
Paid time off
+5
Rust Engineer
Rust Engineer

MatX • Mountain View (CA)

Hybrid
USD 120,000 - 250,000
Equity
Health insurance
Paid time off
+5
SoC Design Verification Engineer | Remote Options + Equity
SoC Design Verification Engineer | Remote Options + Equity

MatX • Mountain View (CA)

Hybrid
USD 160,000 - 600,000
4 weeks PTO
12 holidays
Up to 3 weeks remote work
+10
Silicon Validation Engineer — Remote/Hybrid
Silicon Validation Engineer — Remote/Hybrid

MatX • Mountain View (CA)

On-site
USD 120,000 - 450,000
Health, Dental, Vision insurance
401K Plan with company contributions
Remote-friendly schedule
Formal Verification Engineer — Hardware & Compiler Proofs
Formal Verification Engineer — Hardware & Compiler Proofs

MatX Inc. • Mountain View (CA)

Hybrid
USD 160,000 - 600,000
4 weeks PTO
12 company holidays
Up to 3 weeks remote work
+1
Silicon Validation Engineer — Hybrid, Equity & Benefits
Silicon Validation Engineer — Hybrid, Equity & Benefits

MatX Inc. • Mountain View (CA)

Hybrid
USD 160,000 - 600,000
4 weeks PTO (accrued)
12 company holidays
Up to 3 weeks remote work
+1
Silicon Verification Engineer — Remote-Friendly AI Compute
Silicon Verification Engineer — Remote-Friendly AI Compute

MatX Inc. • Mountain View (CA)

Hybrid
USD 250,000 - 600,000
4 weeks PTO
Holidays
Up to 3 weeks remote work
+1
Rust Systems Simulator Engineer (Hybrid, Mountain View)
Rust Systems Simulator Engineer (Hybrid, Mountain View)

MatX • Mountain View (CA)

Hybrid
USD 120,000 - 200,000
Generous equity
Health, Dental, Vision, and Life insurance
401K with 5% contribution
+4
Silicon Design Verification Engineer - Hybrid (ASIC/SoC)
Silicon Design Verification Engineer - Hybrid (ASIC/SoC)

Advanced Micro Devices • San Jose (CA)

Hybrid
USD 120,000 - 190,000