Hardware Tools Engineer

MatX

. Work directly with architects, designers, and verification engineers to identify needs and decide what to build .

Posted 10/23/2026full-timeMountain View • California • United StatesMid-LevelSenior💰 $250,000 - $600,000 per yearWebsite

Core Competencies

Role fit

Core Competencies

Use this summary to align your resume positioning with the role.

Demonstrates strong production experience in Haskell and Rust, with the ability to improve compilers and build tools for hardware engineers. Capable of working independently on complex projects while ensuring compliance with U.S. export control laws.

Highest-signal resume keywords

Production Haskell ExperienceProduction Rust ExperienceCompiler VerificationBluespec Language ProficiencyBuild Systems (Bazel Preferred)

ATS Keywords

Tailor your resume

Applicant Tracking System Keywords

Tip: use these terms in your resume and cover letter to boost ATS matches.

Hard Skills

Compiler DevelopmentDebugging ToolsFormal VerificationAssertions DevelopmentSystematic Compiler TestingFuzzingVerilog ProficiencySystemVerilog ProficiencyInteractive Theorem ProversSAT/SMT Solvers

Soft Skills

Self-DirectionProblem IdentificationTeam Collaboration

Tools & Technologies

PythonBazelCI ToolsOpen-Source Compiler ContributionsLanguage Servers

Industry Keywords

Hardware VerificationHigh-Level Hardware LanguagesCompiler TestingExport Control ComplianceChip Design

Tech Stack

Tools & technologies

HaskellPythonRust

About the role

Key responsibilities & impact

Work directly with architects, designers, and verification engineers to identify needs and decide what to build
Improve Bluespec, its type system, libraries, and compiler
Improve compile speed, output stability and reproducibility, and language features that catch design errors earlier
Build tools connecting compiler design knowledge to simulation and formal verification
Develop assertions, compiler-generated checks and formal assumptions, and Rust-reference-model-to-RTL verification flows
Build debugging, editor, and build tools for hardware engineers
Own testing and releases of the compiler and libraries
Fix issues in the compiler, libraries, or shared flows so problems do not recur
Contribute appropriate fixes and features upstream to the open-source compiler
Help determine future team priorities based on changing hardware-team needs
Work on mature Haskell compiler code while maintaining tapeout safety and supporting the next chip

Requirements

What you’ll need

Senior-level self-direction; able to take ambiguous requests, identify underlying problems, and drive tools to shipment without close supervision
Strong production Haskell experience in a large codebase
Strong production Rust experience
Ability to read Bluespec, Verilog, or SystemVerilog
Experience building tools that other engineers depend on
Comfortable with Python, build systems (Bazel preferred), and CI
Ability to work on-site in Mountain View, CA or remotely
Occasional travel: a few trips per year
Capacity to perform job functions in compliance with U.S. export control laws without obtaining a license
Experience with compilers, compiler verification, translation validation, verified compilers, systematic compiler testing, or fuzzing is a bonus
Contributions to bsc, GHC, rustc, or another production compiler are a bonus
Experience with Bluespec, Chisel, Clash, or another high-level hardware language is a bonus
Experience with hardware verification tools and methods is a bonus
Experience with interactive theorem provers or mechanized hardware semantics is a bonus
Experience with SAT or SMT solvers in a type checker or compiler pass is a bonus
Experience with language servers, debuggers, or waveform tools is a bonus
Open-source hardware tools experience is a bonus

Benefits

Comp & perks

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
HSA and FSA offerings via Lively
Roth or pre-tax 401K with a 5% company contribution
100% company-paid life insurance (up to $300K)
Long-term disability and travel insurance
$1500 per year Professional Development Budget
Onsite team lunch & dinner Monday - Friday
100% coverage for daily commute
$50/month MatX E[x]tras perk allowance
$35/month cellular reimbursement
$40/month wifi reimbursement
Up to $1000 remote office setup purchases
100% paid mental health benefit via SpringHealth and Guardian EAP
Up to 12 weeks paid parental leave
10 weeks pregnancy disability leave
Flexible return-to-work hours
$6K Family Fund for fertility, surrogacy, adoption, menopausal health, preservation, family counseling and more
Equity