
Senior Formal Verification Engineer - LPU
Senior Formal Verification Engineer at NVIDIA responsible for specifying and executing formal verification for AI-related ASIC designs (LPU/GPU), developing formal methodologies and automated flows, collaborating with architects/RTL teams, mentoring junior engineers, and supporting silicon bring-up. Requires 12+ years in ASIC verification with 8+ years in formal verification and expertise in SVA and industry formal tools (e.g., JasperGold, VC Formal).









