Senior EDA R&D Architect — Formal Verification & AI Agents

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

Benefits offered by this job

Equity

Benefits

Job summary

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.

Qualifications

• PhD or Master's degree in CS/EE or related field.
• Minimum 15 years of professional R&D experience in building commercial or advanced academic EDA hardware verification tools.
• Deep mathematical and hands‑on understanding of formal methods (bounded model checking, unbounded model checking, abstract interpretation, theorem proving).
• Expert-level proficiency in C/C++ (Modern C++17/20) with focus on high-performance data structures, memory optimization, and multi‑threading.
• Experience building or researching Agentic AI pipelines and multi‑agent frameworks (LangChain, AutoGen, CrewAI) and tool‑use execution.
• Experience with RTL languages (SystemVerilog, VHDL, Verilog) and knowledge of SystemVerilog Assertions (SVA).

Responsibilities

• Architect, design, and advance formal verification algorithms (e.g., Model Checking, SAT/SMT, BDDs, Equivalence Checking, Theorem Proving).
• Develop multi-agent AI systems that autonomously analyze RTL topologies and partition large design spaces.
• Create intelligent orchestration layers for autonomous AI agents to handle large, complex builds.
• Generate complex SystemVerilog Assertions from natural language specs and architectural intent.
• Translate algorithmic research into production-grade C/C++ EDA tools integrated into commercial suites.

Skills

C/C++ (Modern C++17/20)

Formal methods

Agentic AI pipelines

RTL languages

SystemVerilog

Multi-threading

High-performance data structures

Education

PhD or Master's degree in CS/EE or related field

Job description

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.