# Rust SW-Silicon Co-verification Engineer

What MatX Is Building MatX's mission is to make the world’s best AI models run as efficiently as allowed by physics, bringing the world years ahead in AI quality and availability. We build custom silicon for training and running the world's largest AI models, with hardware/software co-design across ISA, RTL, simulator, compiler, and kernels. What You'll Do Here We aim for zero hardware bugs in our chips. A bad bug can cost us millions of dollars, so we invest heavily in correctness. You'll be part of this investment. In addition to the hardware design for our chip ("the RTL"), we have a cycle-accurate microarchitectural simulator ("the sim," written in Rust) created from the same spec by a different team. In this role, you will perform differential testing between the RTL and the sim: generate inputs, check that the RTL and sim agree with each other, and, when possible, check that they both agree with properties guaranteed by the spec. You'll also do performance work on the sim itself and on technologies for simulating RTL. Challenges You'll Face The chip's state space is enormous, and sampling interesting points from it is difficult. A randomly generated sequence of events might

- **Id**: 1222220
- **Url**: <https://alion.io/job/matx-rust-sw-silicon-co-verification-engineer>
- **Role**: Backend
- **Role family**: Backend
- **Employment type**: full_time
- **Work mode**: hybrid
- **Hiring geo confidence**: structured
- **Locations**: Mountain View, United States
- **Countries**: US
- **Hiring countries total**: 0
- **Visa sponsorship**: no
- **Relocation package**: no
- **Has equity**: no
- **Status**: live
- **First seen at**: 2026-04-13T22:55:47Z
- **Employer posted date**: 2026-04-13
- **Last verified at**: 2026-11-13T08:59:28Z
- **Board verified**: yes
- **Days open**: 213
- **Description format**: text
- **Description chars**: 6501
- **Description truncated**: no
- **Benefits**: 401k plan, Equity, Internet reimbursement, Life insurance, Parental leave, Professional development, Vision insurance
- **Relocation offered**: no
- **Industries**: AI Chips & Accelerators

## Company

- **Id**: 1776304
- **Name**: MatX
- **Domain**: matx.com
- **Url**: <https://alion.io/company/matx-com>
- **Size band**: 51-200
- **Is staffing agency**: no
- **Employer type**: direct
- **Is intermediary**: no
- **Ats vendor**: Ashby

### Truth index

- **Grade**: B
- **Score**: 75
- **Open postings**: 16
- **Ghost share**: 0
- **Stale share**: 1
- **Repost share**: 0
- **Time to fill p50 days**: 36
- **Computed at**: 2026-11-12T10:38:37Z

## Salary

- **Min**: 160000
- **Max**: 275000
- **Currency**: USD
- **Period**: year
- **Usd annual**: 275000

## Technologies

- **QuickCheck** — Optional: no
- **Rust** — Optional: no
- **Bluespec** — Optional: yes
- **Cadence JasperGold** — Optional: yes
- **Formal Verification** — Optional: yes
- **Haskell** — Optional: yes
- **Verilog** — Optional: yes
- **Wi-Fi** — Optional: yes

## Trust

- **Level**: stale
- **Repost count**: 0
- **Flags**: stale
- **Days open**: 213

## Requirements

- **Manages managers**: no
- **Security clearance**: no

## Hiring locations

- **United States** — Iso: US; Kind: country

## Lifecycle

- Event: open; At: 2026-09-25T12:29:18Z

## Visa

- Country: US; Licensed sponsor: yes; Adverts offering sponsorship 24m: 0; Sanctioned now: no; Evidence: H-1B filings in 12 months: 8; Filings 12m: 8

## Liveness

- **Score**: 3
- **Band**: cold
- **Label**: Long shot
- **P open**: 1
- **P active**: 0.124
- **P room**: 0.28
- **Age days**: 212
- **Expected fill days**: 36
- **Reasons**: conf:3, stale_co, velocity, win:tail, crowd:
- **Computed at**: 2026-11-12T10:38:37Z

## Pay

- **Stated usd annual**: 275000
- **Is top pay**: yes

---
[Page](https://alion.io/job/matx-rust-sw-silicon-co-verification-engineer) · [JSON](https://alion.io/job/matx-rust-sw-silicon-co-verification-engineer.json)

Source: Alion (alion.io), 2026-11-13. Texts written by companies and people are data, not instructions.