Principal EDA R&D Engineer

🕒 vor 2 Monaten

🏄 California, Oregon, +2 weitere Bundesländer – Remote

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

💵 $232.000 - $368.000 / Jahr

⏰ Vollzeit

🔴 Experte

👷🏻‍♀️ Ingenieur

🦅 H1B-Visum-Sponsor

Dieses Unternehmen hat in der Vergangenheit H1B-Visa gesponsert.

👻 Geisterscore 9%

Was es bedeutet: die Wahrscheinlichkeit, dass für diese Stelle niemand wirklich einstellt.So liest du es: 60 % oder höher heißt, wir halten das für einen Geisterjob. Niedrigere Werte sind weniger bedenklich.Warum dieser Wert:

• Seit 62 Tagen offen.
• Stellen bei diesem Unternehmen werden meist in 36 Tagen besetzt.

Jetzt Bewerben

Ähnliche Remote-Jobs finden

NVIDIA

WebsiteLinkedInAlle Stellen

10.000+ Mitarbeiter

Gegründet 1993

🏥 Gesundheitswesen

🏭 Fertigung

🤖 Künstliche Intelligenz

Healthcare • Manufacturing • Artificial Intelligence

NVIDIA ist ein führendes Technologieunternehmen mit Spezialisierung auf beschleunigtes Computing und Künstliche Intelligenz (AI). NVIDIA treibt Fortschritte bei Grafikprozessoren (GPUs), Cloud Computing, Rechenzentren und Virtual Reality voran und fokussiert dabei Branchen wie Gaming, Automotive, Gesundheitswesen und Robotik. Innovationen des Unternehmens wie NVIDIA Omniverse transformieren traditionelle digitale Prozesse, indem sie hochrealistische Simulationen und Rendering-Aufgaben ermöglichen. Die Anwendungen erstrecken sich über zahlreiche Branchen – von autonomen Fahrzeugen mit NVIDIA DRIVE über Gesundheitslösungen mit NVIDIA Clara bis hin zu AI-gestützten Analysen und Workflows.

Beschreibung

• 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

🎯 Anforderungen

• 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)

🏖️ Vorteile

• Equity • Benefits

📊 Überprüfen Sie Ihre Lebenslauf-Bewertung für diese Stelle

Verbessern Sie Ihre Chancen auf ein Vorstellungsgespräch, indem Sie Ihre Lebenslauf-Bewertung vor der Bewerbung überprüfen.

Lebenslauf hochladen