Formal Verification Engineer is open at Matx in Mountain View (HQ) or Remote (hybrid). The posting gives a salary of $160K - $275K. Posted on May 19, 2026, and still on Matx’s careers page when we last checked, on Nov 14, 2026.
About the role
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. - Develop and maintain machine-checked proofs for critical compiler transformations, ensuring correctness of lowering passes from our high-level programming model down to hardware - Build embeddings of our…
The opening lines of the posting. The rest is on Matx’s careers page.
Hiring at Matx
Matx has 42 open roles right now, 32 of them remote. Most are in Engineering, Security and Supply Chain & Logistics. The median advertised salary across its roles with a published range is $218K. See all its roles
