Principal EDA R&D Engineer

🕒 September 9

🏄 California, Oregon, +2 more states – Remote

🏄 California – Remote 🌲 Oregon – Remote 🍂 Massachusetts – Remote 🤠 Texas – Remote

💵 $232k - $368k / year

⏰ Full Time

🔴 Lead

👷🏻‍♀️ Engineer

🦅 H1B Visa Sponsor

This company has sponsored H1B visas in the past.

👻 Ghost score 4%

What it means: how likely this posting is sitting open without active hiring.How to read it: 60% or higher means we think this is a ghost. Lower scores are less of a worry.How we score it: age, reposts, open roles vs team size, how fast jobs close, and whether pay is listed.Fine print: an estimate from public data, not a judgment of the company. Real jobs can score high, so treat it as a hint, not a fact.

Apply Now

Find Similar Remote Jobs

Set Up Email Alert For New Jobs

📊 Check your resume score for this job

Improve your chances of getting an interview by checking your resume score before you apply.

Upload Resume

NVIDIA

WebsiteLinkedInAll Job Openings

10,000+ employees

Founded 1993

🏥 Healthcare

🏭 Manufacturing

🤖 Artificial Intelligence

Healthcare • Manufacturing • Artificial Intelligence

NVIDIA is a leading technology company specializing in accelerated computing and artificial intelligence. NVIDIA pioneers advancements in graphical processing units (GPUs), cloud computing, data centers, and virtual reality, with a focus on gaming, automotive, healthcare, and robotics industries. The company's innovations, such as NVIDIA Omniverse, transform traditional digital processes by enabling high-fidelity simulations and rendering tasks. Their applications span various industries, from autonomous vehicles using NVIDIA DRIVE to healthcare solutions with NVIDIA Clara, and AI-driven analytics and workflows.

📋 Description

• Lead research, architecture, and development of core formal verification engines improved by Agentic AI frameworks • 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 • Build AI systems that analyze RTL topologies, partition large design spaces, and dynamically tune solver parameters • Develop orchestration layers where autonomous AI agents collaborate to handle multi-billion-gate builds and deep sequential depth • Develop engines for ingestion, abstraction, and automatic generation of complex System Verilog Assertions from natural language specifications and architectural intent • Drive features from algorithmic research through implementation in high-performance C/C++ environments • Ensure seamless 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 • Minimum of 15 years of professional R&D experience specifically building commercial or advanced academic Electronic Design Automation (EDA) hardware verification tools • Deep mathematical and hands-on understanding 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), including high-performance data structures, memory optimization, and multi-threading • Proven experience building or researching Agentic AI pipelines, multi-agent frameworks such as LangChain, AutoGen, or CrewAI, tool-use execution, and prompt-engineering tailored to structured code or hardware descriptions • Experience with RTL languages including System Verilog, VHDL, and Verilog • Solid understanding of System Verilog Assertions (SVA)

🏖️ Benefits

• Equity • Benefits