NVIDIA Corporation is hiring a Senior Formal Verification Engineer to verify AI-related ASIC builds using advanced formal methods. You will work closely with architecture and RTL teams to specify properties and resolve complex issues, shaping micro-architecture decisions.
You will develop formal verification environments, extend automated flows for scalability, and support silicon bring-up with formal techniques. Ideal candidates have 5+ years in ASIC verification and strong SVA skills.
#J-18808-LjbffrSenior AI ASIC Formal Verification Engineer in california at Unknown Company
This position is listed as full time and onsite.