AI-Driven EDA R&D Architect for Formal Verification

NVIDIA Corporation; Santa Clara (CA); In loco; USD 232.000 - 368.000; Tempo pieno

Vantaggi offerti da questo lavoro

Equity compensation

Competitive benefits

Descrizione del lavoro

NVIDIA Corporation seeks a Principal EDA R&D Engineer to pioneer next-gen hardware formal verification tools. Lead research, architecture, and development of core engines enhanced by AI frameworks to automatically break down large builds and coordinate solver strategies.

Expect deep algorithmic expertise, rigorous software engineering, and a track record of production-grade EDA tools. Equity and benefits are offered, with a base salary range disclosed in the posting.

Competenze

• Ph.D. or Master’s degree in CS/EE or related field.
• Minimum of 15 years of professional R&D experience building commercial or advanced EDA hardware verification tools.
• Expert-level proficiency in modern C++ (C++17/20) and high-performance data structures.
• Experience with Agentic AI pipelines and multi-agent frameworks (e.g., LangChain, AutoGen, CrewAI).
• Experience with RTL languages (SystemVerilog, VHDL, Verilog) and SVA.

Mansioni

• Architect, construct, and advance formal verification algorithms (e.g., Model Checking, SAT/SMT solvers, BDDs, Equivalence Checking, and Theorem Proving).
• Design, develop, and deploy multi-agent AI systems 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 for multi-billion-gate builds.
• Develop intelligent engines capable of automatic generation of SVA from natural language specifications.
• Drive features from initial algorithmic research through implementation in high-performance C/C++ environments, integrated into commercial EDA tool suites.

Conoscenze

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

Formal verification

Multi-agent AI pipelines

RTL languages (SystemVerilog, Verilog,

Parallel computing / high-performance

English communication

Formazione

Ph.D. in CS/EE or related field

Master’s degree

Strumenti

LangChain

AutoGen

CrewAI

SVA tooling

Descrizione del lavoro

NVIDIA Corporation seeks a Principal EDA R&D Engineer to pioneer next-gen hardware formal verification tools. Lead research, architecture, and development of core engines enhanced by AI frameworks to automatically break down large builds and coordinate solver strategies.

Expect deep algorithmic expertise, rigorous software engineering, and a track record of production-grade EDA tools. Equity and benefits are offered, with a base salary range disclosed in the posting.