Principal EDA R&D Architect: Formal Verification & AI

NVIDIA; Santa Clara (CA); On-site; USD 232,000 - 368,000; Full time

Benefits offered by this job

Equity

Benefits

Job summary

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

Qualifications

• Ph.D. or Master’s degree in Computer Science, Electrical Engineering, Computer Engineering, or a related quantitative field.
• Minimum of 15 years of professional R&D experience building commercial or advanced EDA hardware verification tools.
• Deep mathematical and hands-on understanding of formal methods (BMC, PDR/IC3, abstract interpretation, theorem proving).
• Expert-level proficiency in C/C++ (Modern C++17/20) in high-performance contexts.
• Experience with Agentic AI pipelines, multi-agent frameworks, and prompt-engineering for hardware descriptions.
• Experience with RTL languages (SystemVerilog, VHDL, Verilog) and SVA.

Responsibilities

• Architect and advance new formal verification algorithms (Model Checking, SAT/SMT, BDDs, Equivalence Checking, Theorem Proving).
• Design and deploy multi-agent AI systems that analyze RTL topologies and tune solver parameters autonomously.
• Develop orchestration layers for collaborative AI agents handling large-scale designs.
• Generate complex SystemVerilog Assertions (SVA) from natural language specs and architectural intent.
• Drive features from research to production in high-performance C/C++ environments.

Skills

C++ high-performance

SystemVerilog / RTL

Multi-agent AI pipelines

Parallel multi-threading

Education

PhD or Master's in CS/EE

Tools

LangChain

AutoGen

CrewAI

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