NVIDIA
Principal EDA R&D Engineer
$232K–$368K
US, CA, Santa Clara +4 · Principal · Full-time · Posted Sep 9, 2026
- Location
- US, CA, Santa Clara
US, MA, Westford
US, TX, Austin
US, OR, Hillsboro
US, CA, Remote - Experience
- Minimum of 15 years.
- Education
- Ph.D. or Master’s degree or equivalent experience in Computer Science, Electrical Engineering, Computer Engineering, or a related quantitative field.
About the job
Leads research and development of formal hardware verification algorithms and agentic AI systems for commercial EDA tools.
What you'll do
- Architect and develop formal verification algorithms and high-performance implementations.
- Build multi-agent AI systems to analyze RTL, partition designs, tune solvers, and coordinate verification.
- Develop engines to generate System Verilog Assertions from natural-language specifications and architectural intent.
What they ask for
- Ph.D. or Master’s degree or equivalent experience in a related quantitative field.
- At least 15 years of professional R&D experience building commercial or advanced academic EDA hardware verification tools.
- Deep understanding of formal methods, including BMC, PDR/IC3, abstract interpretation, and theorem proving.
- Expert-level C/C++ proficiency and experience with agentic AI pipelines, RTL languages, and SVA.
Nice to have
- A track record of deploying EDA solutions in high-stakes environments.
- Experience delivering innovative solutions to complex verification challenges.
Pay
232,000 USD - 368,000 USD (base salary)
Tools
C/C++, C++17/20, LLMs, Reinforcement Learning, Graph Neural Networks, LangChain, AutoGen, CrewAI
AI focus
Develops agentic AI systems for RTL analysis, design partitioning, solver tuning and orchestration, plus automatic SVA generation from natural-language specifications and architectural intent.
Model-written summary · the original posting is authoritative