Hybrid Formal Verification Scientist for AI Hardware

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 JasperGold/VC Formal/SVA, and a strong background in model checking and property decomposition are #J-18808-Ljbffr Socket.dev