Senior Formal Verification Engineer

🕒 Abril 22

⛰️ Colorado, Oregon, +2 estados a mais – Remoto

⛰️ Colorado – Remote 🌲 Oregon – Remote 🤠 Texas – Remote ☕ Washington – Remote

💵 $136.000 - $218.500 / ano

⏰ Tempo Integral

🟠 Sênior

👷🏻‍♀️ Engenheiro

🦅 Patrocina Visto H1B

Esta empresa já patrocinou vistos H1B no passado.

👻 Score fantasma 36%

O que significa: quão provável esta vaga está aberta sem contratação ativa.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

Configurar Alerta de Email para Novas Vagas

📊 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

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

• Verifying AI-related sophisticated ASIC builds & features using advanced formal verification methods • Collaborating closely with architecture and RTL teams to specify properties and resolve complex issues • Applying formal verification to rigorously ensure critical build properties align with specifications • Articulating formal verification coverage to partners • Developing advanced formal verification environments and methodologies for complex ASIC designs • Supporting silicon bring-up and debug using formal methods where applicable

🎯 Requisitos

• BS/MS/PhD or equivalent experience in CS/CE/EE • 5+ years in ASIC verification with 3+ years passionate about formal verification methods • Proficiency in SystemVerilog Assertions (SVA) and formal property verification • Experience with at least one popular formal verification tool in the industry (JasperGold, VC Formal, etc.) • Excellent skills in applying AI tools in daily engineering work to efficiently solve problems • Strong written and oral communication skills • Keen attention to detail

🏖️ Benefícios

• competitive salaries • comprehensive benefits package • equity opportunities