This job is closed
Applications are no longer available for this announcement. Explore current related opportunities below.
Job description
NVIDIA is seeking an experienced Principal EDA R&D Engineer to pioneer the next generation of Hardware Formal Verification tools. You will lead research, architecture, and development of core formal verification engines enhanced by Agentic AI frameworks, crafting autonomous AI agent networks to extend formal tools and handling large-scale builds.
Requirements include a Ph.D./Master’s in a quantitative field, 15+ years in EDA, deep formal methods knowledge, and expert C/C++ with RTL/SVA
#J-18808-Ljbffr
Worksite address
santa clara, CA, 95053, US
Who can apply
Review the original listing for work authorization, qualifications and employer requirements.