Who can apply: US-based role. The employer has not said which states are eligible — confirm before applying.
Location as listed by the employer: “Mountain View (HQ) or Remote”
Apply on Matx's site ↗
Opens the employer's official application page.
Generate a CV for this job
Generate my CV
A CV tailored to this job's requirements in one click — boosted with testimonials from people who know your work.
About this role
Matx is hiring for a Formal Verification Engineer role (full-time). See the official posting for full details.
Requirements
- Hands-on experience with hardware model checking—writing SVA/PSL properties, running bounded or unbounded proofs, and closing out formal verification targets at block or subsystem level
- Practical experience with at least one interactive theorem prover (Lean, Coq, Isabelle/HOL, Agda, or similar)
- Experience embedding an existing language or IR into a theorem prover—whether an HDL, compiler IR, ISA, or similar—is a strong plus
- Experience with compiler correctness proofs or verified compilation (e.g. CompCert-style or translation validation) is a strong plus
- Comfort working across the hardware/software boundary: you understand both RTL microarchitecture and compiler IR design well enough to find the correctness properties that matter
- Able to work in a small team where the scope of what you own will be large and shift quickly
- Early Career - $160,000 - $275,000 + equity
- Mid Career - $175,000 - $400,000 + equity
Summarized from the employer's posting — check the full posting for every requirement.
New remote jobs for your state, by email.
A short digest only when there's something new. Confirm by email, unsubscribe anytime.