More jobs:
Hybrid Formal Verification Scientist for AI Hardware
Job in
Palo Alto, Santa Clara County, California, 94306, USA
Listed on 2026-07-31
Listing for:
Socket.dev
Full Time
position Listed on 2026-07-31
Job specializations:
-
Engineering
Test Engineer
Job Description & How to Apply Below
Voltai is seeking a seasoned formal verification engineer to develop new methods for proving design correctness using model checking, property verification, and equivalence analysis. You’ll collaborate with RTL, verification, and ML teams to build scalable formal engines for AI-enabled hardware and prototype ideas on real RTL designs.
5+ years of experience in formal verification, familiarity with Jasper Gold/VC Formal/SVA, and a strong background in model checking and property decomposition are
#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:
×