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.
#J-18808-LjbffrFormal Verification Engineer — Hardware & Compiler Proofs in mountain view at Unknown Company
This position is listed as full time and onsite.