Principal EDA R&D Engineer AI-Driven Verification Architect

NVIDIA; Westford (MA); On-site; USD 232,000 - 368,000; Full time

Benefits offered by this job

Equity

Benefits

Job summary

NVIDIA seeks a Principal EDA R&D Engineer in Westford, MA to pioneer hardware formal verification tools. You will lead research, architecture, and development of core engines enhanced by Agentic AI frameworks, building autonomous AI networks to extend formal capabilities.

Role demands deep algorithmic knowledge, industrial-grade software engineering, and a track record of producing production-quality EDA tools. Expect collaboration across solver strategies, SVA, and RTL methodologies.

Qualifications

• Ph.D. or Master’s degree in a quantitative field or equivalent experience.
• 15+ years of R&D experience building commercial or advanced EDA tools.
• Deep mathematical understanding of formal methods (BMC, PDR/IC3, theorem proving).

Responsibilities

• Architect, construct and advance new formal verification algorithms.
• Design, develop and deploy multi-agent AI systems for RTL analysis and space partitioning.
• Develop orchestration layers for autonomous AI agents to handle large-scale builds.
• Generate SystemVerilog Assertions from natural language specifications and intent.
• Drive features from research to production in high-performance C/C++ environments.

Skills

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

High-performance data structures

Multi-threading

Formal methods knowledge

Agentic AI pipelines

RTL languages knowledge

Education

Ph.D. or Master’s in CS/EE or related field

Tools

LangChain

AutoGen

CrewAI

Job description

NVIDIA seeks a Principal EDA R&D Engineer in Westford, MA to pioneer hardware formal verification tools. You will lead research, architecture, and development of core engines enhanced by Agentic AI frameworks, building autonomous AI networks to extend formal capabilities.

Role demands deep algorithmic knowledge, industrial-grade software engineering, and a track record of producing production-quality EDA tools. Expect collaboration across solver strategies, SVA, and RTL methodologies.