Formal Verification Engineer — Hardware & Compiler Proofs
Listed on 2026-11-04
-
Engineering
Hardware Engineer, Test Engineer, Electronics Engineer
MatX Inc. in Mountain View, CA is seeking a Formal Verification Engineer to bring rigorous mathematical guarantees to our hardware and software across the stack.
You will apply model checking, write SVA/PSL properties, and develop machine-checked proofs for compiler transformations while embedding HDL/IR into theorem provers and collaborating across teams.
The role offers a competitive US base salary with equity and generous benefits, with on-site Mountain View presence Tue-Thu.
We would love to welcome a new Formal Verification Engineer — Hardware & Compiler Proofs to our group in Mountain View, CA, United States.
We would love to welcome a new Formal Verification Engineer — Hardware & Compiler Proofs to our organisation in Mountain View, CA, United States.
For the Formal Verification Engineer — Hardware & Compiler Proofs position at MatX Inc., we are reviewing applications now.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).