Principal EDA R&D Engineer

🕒 Setembro 9

🏄 California, Oregon, +2 estados a mais – Remoto

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

💵 $232.000 - $368.000 / ano

⏰ Tempo Integral

🔴 Especialista

👷🏻‍♀️ Engenheiro

🦅 Patrocina Visto H1B

Esta empresa já patrocinou vistos H1B no passado.

👻 Score fantasma 6%

O que significa: a chance de ninguém estar realmente contratando para esta vaga.Como ler: 60% ou mais significa que achamos que é uma vaga fantasma. Pontuações mais baixas preocupam menos.Como pontuamos: tempo em aberto, republicações, vagas abertas vs tamanho do time, rapidez para fechar vagas, e se o salário está divulgado.Observação: é uma estimativa de dados públicos, não um julgamento da empresa. Vagas reais podem ter pontuação alta, então use como uma dica, não como um fato.

Candidatar-se

Encontrar Vagas Remotas Similares

NVIDIA

SiteLinkedInTodas as Vagas

10.000+ funcionários

Fundada em 1993

🏥 Saúde

🏭 Manufatura

🤖 Inteligência Artificial

Healthcare • Manufacturing • Artificial Intelligence

A NVIDIA é uma empresa de tecnologia líder, especializada em computação acelerada e inteligência artificial. A companhia é pioneira em avanços em unidades de processamento gráfico (GPUs), computação em nuvem, data centers e realidade virtual, com foco nos setores de games, automotivo, saúde e robótica. As inovações da empresa, como o NVIDIA Omniverse, transformam processos digitais tradicionais ao viabilizar simulações de alta fidelidade e tarefas de renderização. Suas aplicações abrangem diversos setores, desde veículos autônomos com o NVIDIA DRIVE até soluções de saúde com o NVIDIA Clara, além de análises e fluxos de trabalho impulsionados por IA.

Descrição

• 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

🎯 Requisitos

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

🏖️ Benefícios

• Equity • Benefits

📊 Verifique sua pontuação de currículo para esta vaga

Melhore suas chances de conseguir uma entrevista verificando sua pontuação de currículo antes de se candidatar.

Enviar Currículo