NVIDIA Gruppe seeks a Principal EDA R&D Engineer to pioneer next-gen hardware formal verification tools. Lead research, architecture, and core engines enhanced by Agentic AI frameworks to break down large builds and optimize solver strategies.
You will architect autonomous AI agent networks that analyze RTL topologies, partition design spaces, and generate complex SystemVerilog Assertions, delivering production-grade C/C++ tools for EDA suites.
#J-18808-LjbffrSenior EDA R&D Architect — Formal Verification & AI Agents in santa clara at Unknown Company
This position is listed as full time and onsite.