Principal EDA R&D Engineer

NVIDIA•Westford, MA

10d•$232,000 - $368,000

About The Position

NVIDIA is seeking a Principal EDA R&D Engineer to lead research, architecture, and development of hardware formal verification engines enhanced by Agentic AI frameworks. The role involves creating collaborative autonomous AI agent networks that extend formal tools to break down large builds, coordinate solver strategies, synthesize complex properties, and debug execution traces at scale. It combines deep algorithmic expertise, rigorous industrial software engineering, and experience producing production-grade EDA tools. The engineer will develop formal verification algorithms and multi-agent AI systems, build orchestration layers to tackle state-space explosion in very large designs, and create engines that ingest specifications and generate complex SystemVerilog Assertions. Work will span algorithmic research through high-performance C/C++ implementation and 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.
At least 15 years of professional R&D experience building commercial or advanced academic EDA hardware verification tools.
Deep mathematical and practical understanding of formal methods, including bounded model checking, unbounded model checking (PDR/IC3), abstract interpretation, and theorem proving.
Expert proficiency in modern C/C++ (C++17/20), including high-performance data structures, memory optimization, and multithreading.
Experience building or researching Agentic AI pipelines and multi-agent frameworks, tool-use execution, and prompt engineering for structured code or hardware descriptions.
Experience with SystemVerilog, VHDL, or Verilog, and a solid understanding of SystemVerilog Assertions.

Nice To Haves

A track record of successfully deploying world-class EDA solutions in high-stakes environments.
Experience establishing innovative solutions to complex verification challenges.
Demonstrated ability to compete at the highest level and deliver outstanding results.

Responsibilities

Architect, construct, and advance formal verification algorithms, including 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 to analyze RTL topologies, partition design spaces, and tune solver parameters.
Develop orchestration layers in which autonomous AI agents collaborate to address state-space explosion in multi-billion-gate builds and designs with deep sequential depth.
Develop engines for ingesting and abstracting specifications and automatically generating complex SystemVerilog Assertions from natural-language specifications and architectural intent.
Drive features from algorithmic research through implementation in high-performance C/C++ environments and integration into commercial EDA tool suites.