Impress employers and recruiters.
Choose from hundreds of resume examples.
Impress employers and recruiters.
Choose from hundreds of resume examples.
Tailor your resume to this Principal EDA R&D Engineer role.
Rezi rewrites your resume against NVIDIA's job description. Free.
Tailor your resume to this Principal EDA R&D Engineer role.
Rezi rewrites your resume against NVIDIA's job description. Free.
Don't guess if your resume is good enough.
See how it scores against the Principal EDA R&D Engineer posting at NVIDIA — free, in seconds.
Don't guess if your resume is good enough.
See how it scores against the Principal EDA R&D Engineer posting at NVIDIA — free, in seconds.
About the Role
Pioneer the next generation of Hardware Formal Verification tools by leading research, architecture, and development of core formal verification engines improved by Agentic AI frameworks. Craft collaborative, autonomous AI agent networks to extend formal tools for automated build breakdown, solver strategy coordination, property synthesis, and execution trace debugging at scale.
Responsibilities
- Architect, construct, and advance new formal verification algorithms (e.g., Model Checking, SAT/SMT solvers, BDDs, Equivalence Checking, and Theorem Proving).
- Design, develop, and deploy multi-agent AI systems (using LLMs, Reinforcement Learning, and Graph Neural Networks) that autonomously analyze RTL topologies, partition large design spaces, and dynamically tune solver parameters.
- Develop intelligent orchestration layers where autonomous AI agents collaborate to bypass state-space explosion, handling multi-billion-gate builds and deep sequential depth.
- Develop intelligent engines capable of handling ingestion, abstraction, and the automatic generation of complex System Verilog Assertions (SVA) from natural language specifications and architectural intent.
- Drive features from initial algorithmic research through implementation in high-performance C/C++ environments, ensuring seamless integration into commercial EDA tool suites.
Requirements
- Ph.D. or Master’s degree or equivalent experience in Computer Science, Electrical Engineering, Computer Engineering, or a related quantitative field.
- Minimum of 15 years of professional R&D experience specifically building commercial or advanced academic Electronic Design Automation (EDA) hardware verification tools.
- Deep mathematical and hands-on understanding of formal methods, including bounded model checking (BMC), unbounded model checking (PDR/IC3), abstract interpretation, and theorem proving.
- Expert-level proficiency in C/C++ (Modern C++17/20) passionate about high-performance data structures, memory optimization, and multi-threading.
- Proven experience building or researching Agentic AI pipelines, multi-agent frameworks (e.g., LangChain, AutoGen, CrewAI), tool-use execution, and prompt-engineering tailored to structured code or hardware descriptions.
- Experience with RTL languages (System Verilog, VHDL, Verilog) combined with solid understanding of System Verilog Assertions (SVA).
- Demonstrate a flawless track record of successfully deploying world-class EDA solutions in high-stakes environments.
- Showcase ambitious projects where innovative answers to complex verification challenges have been established.
- Highlight experiences that reflect the ability to compete at the highest level and deliver outstanding results.
Skills
- Formal Verification
- Agentic AI
- Multi-agent AI systems
- LLMs
- Reinforcement Learning
- Graph Neural Networks
- C/C++
- System Verilog
- VHDL
- Verilog
- System Verilog Assertions (SVA)
- Model Checking
- SAT/SMT solvers
- BDDs
- Equivalence Checking
- Theorem Proving
- LangChain
- AutoGen
- CrewAI
Location
- Remote
Work Type
- Full-time
Experience Level
- Principal
- 15+ years
Education Level
- Ph.D.
- Master's degree
Salary/Compensations
- 232,000 USD – 368,000 USD
Benefits
- Equity
- Benefits
About the Company
- NVIDIA uses AI tools in its recruiting processes.
Equal Opportunity
- NVIDIA is committed to fostering an inclusive work environment and proud to be an equal opportunity employer. As we highly value diversity in our current and future employees, we do not discriminate (including in our hiring and promotion practices) on the basis of race, religion, color, national origin, gender, gender expression, sexual orientation, marital status, veteran status, disability status or any other characteristic protected by law.