Formal Verification Engineer
Mountain Viewonsitemid$120K – $213K
via Greenhouse
About this role
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 the full stack—from silicon and rack design through compilers, kernels, and ML models. We are seeking a Formal Verification Engineer to bring rigorous mathematical guarantees to our hardware and software at every layer of the stack.
What You'll Do Here
Apply model checking and formal property verification to RTL blocks, memory subsystems, and interconnects, providing complete coverage wherever possible, using tools such as JasperGold or VC-Formal.…
What we'd score you on
reqspace match rubricFive dimensions, recruiter-grade. Upload your resume and we'll generate a written explanation of where you fit and where the gaps are.
1
Skills match
For this role: monday, teams
2
Level fit
This role is mid-level. We check your trajectory against it.
3
Domain experience
Your work in the role's domain matters more than your years total. We weight recent and direct experience.
4
Recency
A skill you used last quarter weighs more than one from five years ago. We grade on recency, not lifetime.
5
Location fit
This role is based in Mountain View. We weight your proximity and willingness to relocate.
Score yourself on this role.
Free · no card · written explanation included
Skills in this role
Pulled from the job description. These are the keywords we'll weight when scoring your fit.
mondayteams
More at Matx
- View →Emulation EngineerMountain View, CA
- View →Platform Technical Project Manager, Rack-Scale AI SystemsMountain View, CA
- View →Compute Verification LeadMountain View, CA
- View →Micro-Architect and RTL DesignerMountain View, CA
- View →SOC ArchitectMountain View, CA
- View →Bluespec Design EngineerMountain View, CA