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.

Candidatar-se

Encontrar Vagas Remotas Similares

Receber Emails de Vagas Remotas

📊 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

🤖 Inteligência Artificial

🎮 Jogos

Artificial Intelligence • Gaming • Automotive

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