More jobs:
Formal Verification Engineer: AI Hardware Proofs & RTL
Job in
Mountain View, Santa Clara County, California, 94039, USA
Listed on 2026-08-27
Listing for:
MatX
Full Time
position Listed on 2026-08-27
Job specializations:
-
Engineering
Hardware Engineer, Test Engineer
Job Description & How to Apply Below
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.
#J-18808-LjbffrTo View & Apply for jobs on this site that accept applications from your location or country, tap the button below to make a Search.
(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).
(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).
Search for further Jobs Here:
×