{"schemaVersion":"jobsearcher.job.v1","id":"9ffb5dcf1fa7d9b560b89829","url":"https://jobsearcher.com/jobs/9ffb5dcf1fa7d9b560b89829","canonicalUrl":"https://jobsearcher.com/jobs/9ffb5dcf1fa7d9b560b89829","title":"Lead GPU Formal Verification Engineer","description":"NVIDIA is seeking a Senior Formal Verification Engineer in the United States with strong background in GPU/CPU architectures and formal verification. You will verify micro-architecture using formal methods, write testplans, and develop abstractions to achieve full or bounded proofs. Collaboration with architects, designers, and verification teams is essential to deliver high-quality results on schedule. Requirements include 5+ years of experience, proficiency in Verilog/SystemVerilog, scripting,J-18808-Ljbffr","company":"NVIDIA","rawCompany":"nvidia","city":"Eastern","state":"KY","isRemote":false,"isActive":false,"createdAt":"2026-10-22T12:57:26.994Z","occupations":[{"code":"17-2061.00","title":"Computer Hardware Engineers","slug":"computer-hardware-engineers"},{"code":"17-2112.02","title":"Validation Engineers","slug":"validation-engineers"},{"code":"15-1299.08","title":"Computer Systems Engineers/Architects","slug":"computer-systems-engineers-architects"}],"industries":[{"code":"334413","title":"Semiconductor and Related Device Manufacturing","slug":"semiconductor-and-related-device-manufacturing"},{"code":"541512","title":"Computer Systems Design Services","slug":"computer-systems-design-services"},{"code":"334111","title":"Electronic Computer Manufacturing","slug":"electronic-computer-manufacturing"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Lead GPU Formal Verification Engineer","description":"NVIDIA is seeking a Senior Formal Verification Engineer in the United States with strong background in GPU/CPU architectures and formal verification. You will verify micro-architecture using formal methods, write testplans, and develop abstractions to achieve full or bounded proofs. Collaboration with architects, designers, and verification teams is essential to deliver high-quality results on schedule. Requirements include 5+ years of experience, proficiency in Verilog/SystemVerilog, scripting,J-18808-Ljbffr","datePosted":"2026-10-22T12:57:26.994Z","dateModified":"2026-10-22T12:57:26.994Z","hiringOrganization":{"@type":"Organization","name":"NVIDIA","sameAs":"https://jobsearcher.com"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Eastern","addressRegion":"KY","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"9ffb5dcf1fa7d9b560b89829"},"url":"https://jobsearcher.com/jobs/9ffb5dcf1fa7d9b560b89829"}}