Lead GPU Formal Verification Engineer
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,