Principal EDA R&D Engineer

NVIDIA
Santa Clara, Austin
Full timeUSD 232,000 - 368,000 annuallyFunction: Research & Scientific (R&D)Experience: 15+ yearsEducation: phdSkills: []

Lead R&D for next-generation hardware formal verification tools, driving research, architecture, and development of core verification engines. Build multi-agent AI systems that analyze RTL topologies, partition large design spaces, tune solver parameters, and coordinate strategies to avoid state-space explosion. Create engines that ingest specifications and generate SystemVerilog Assertions from natural language and intent, then implement in high-performance C/C++ for integration into commercial EDA suites.

Loading

Loading job details...

Preparing the role view and application actions.

FursaFursa
NVIDIA
NVIDIA
5 days ago

Principal EDA R&D Engineer

✓ Verified Job

Canonical indexed version, validated from employer's careers page.

Source: Company careers pageValidated by: Fursa AI
Last checked: 12 hours agoStatus: Live

Job Summary

Lead R&D for next-generation hardware formal verification tools, driving research, architecture, and development of core verification engines. Build multi-agent AI systems that analyze RTL topologies, partition large design spaces, tune solver parameters, and coordinate strategies to avoid state-space explosion. Create engines that ingest specifications and generate SystemVerilog Assertions from natural language and intent, then implement in high-performance C/C++ for integration into commercial EDA suites.
Location: Santa Clara, Austin
Employment Type: Full time
Job Function: Research & Scientific (R&D)
Seniority: Mid level

Key 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 that autonomously analyze RTL topologies, partition design spaces, and tune solver parameters.
  • •Develop orchestration layers for autonomous agents to coordinate solver strategies and bypass state-space explosion on very large builds.
  • •Build engines that ingest inputs and automatically generate complex SystemVerilog Assertions (SVA) from natural language specifications and intent.
  • •Drive features from algorithmic research through implementation in high-performance C/C++ and integration into commercial EDA tool suites.

Pay and Benefits

Salary: USD 232,000 - 368,000 annually

Key Requirements

  • •Ph.D. or Master’s degree (or equivalent) in Computer Science, Electrical Engineering, Computer Engineering, or a related quantitative field.
  • •Minimum 15 years of professional R&D experience building commercial or advanced academic EDA hardware verification tools.
  • •Deep knowledge 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) with experience optimizing high-performance data structures, memory, and multi-threading.
  • •Experience building agentic AI pipelines and multi-agent frameworks (e.g., LangChain, AutoGen, CrewAI), including tool-use execution and prompt engineering for code/hardware descriptions.
Experience:15+ yearsEDAHardware verificationFormal verificationAgentic AIMulti-agent systems
Education:PhD / Doctorate
Tech Stack:CC++C++17C++20LLMsReinforcement LearningGraph Neural NetworksLangChainAutoGenCrewAISystemVerilogSystem VerilogVerilogVHDLSystem Verilog AssertionsSVAModel CheckingSAT/SMTBDDPDR

Company Brief

NVIDIA
Designs and manufactures GPUs, AI accelerators, and system-on-chip products for gaming, data centers, professional visualization, and automotive markets, enabling advanced graphics, AI, and high-performance computing solutions worldwide.
Industry: Electronics Manufacturing
Company Size: Enterprise (1,001+ employees)
Revenue: USD 1B+
Growth: Public Company
Valuation: Public Company (Market Cap in USD)
Funding: IPO / Publicly Listed
Headquarters: Santa Clara, United States
Founded: 1993
Glassdoor
Glassdoor: 4.3
WebsiteLinkedInGlassdoor