Formal Verification Engineer: AI Hardware Proofs & RTL
Listed on 2026-11-04
-
Engineering
Hardware Engineer, Test Engineer, Electronics Engineer
MatX in Mountain View, CA, is seeking a Formal Verification Engineer to bring rigorous guarantees across RTL, compilers, and hardware-software interfaces. You’ll apply model checking, develop machine-checked proofs, and embed languages into theorem provers.
The role collaborates with architecture, compiler, and silicon teams, shaping verification strategy and integrating tools like Jasper Gold and Lean. A hands-on background in hardware verification and theorem proving is essential.
Consider building your career as a Formal Verification Engineer: AI Hardware Proofs & RTL at MatX.
The position is based in Mountain View, CA, United States.
This opportunity is part of our work in Engineering.
The advertised compensation is 160..
We aim to respond to suitable candidates as soon as possible.
Full responsibilities and requirements are described in the listing above.
Learn more about the Formal Verification Engineer: AI Hardware Proofs & RTL role in the description above.
(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).