Canadá
Stay22
NVIDIA
Engenheiro Sênior de Verificação Formal - LPU
Canadá
Canada
Python
Tradução automática. Consulte o original.
Sobre a oportunidade
A NVIDIA tem transformado computação gráfica, jogos de PC e computação acelerada por mais de 25 anos. É um legado único de inovação impulsionado por ótima tecnologia — e pessoas incríveis! Hoje, estamos aproveitando o potencial ilimitado da IA para definir a próxima era da computação. Uma era em que nossa GPU atua como o cérebro de computadores, robôs e carros autônomos que podem entender o mundo. Fazer o que nunca foi feito antes exige visão, inovação e os melhores talentos do mundo. Como um NVIDIAN, você será imerso em um ambiente diversificado e de apoio, onde todos são inspirados a fazer o seu melhor trabalho. Junte-se a nós e descubra como você pode causar um impacto duradouro no mundo!
Como Engenheiro Sênior de Verificação Formal na NVIDIA, você verificará ASICs desenvolvidos na vanguarda usando ferramentas de verificação formal. Você definirá o escopo da verificação e garantirá a correção. Você empregará técnicas formais sofisticadas para adquirir provas suficientemente limitadas, enquanto trabalha com arquitetos, designers e equipes de verificação pré e pós-silício para realizar suas tarefas, bem como melhorar metodologias e fluxos de verificação formal. Você concluirá eficientemente o esforço de verificação formal para todo o ciclo do projeto, entregando resultados de alta qualidade dentro do prazo e comunicando claramente esses resultados para a equipe.
O que você fará
- Tarefa principal: Verificar projetos e recursos sofisticados de ASIC relacionados à IA com métodos de verificação formal.
- Colaboração Multifuncional: Colaborar com equipes de arquitetura/RTL para especificar propriedades, resolver problemas profundos de design e influenciar decisões de microarquitetura.
- Execução de verificação formal: Alavancar e liberar o poder da verificação formal para verificar rigorosamente propriedades críticas de design e garantir a conformidade com as especificações, bem como minimizar ambiguidades de especificação.
- Articular a cobertura de verificação formal para parceiros
- Liderança de Metodologia: Desenvolver e implementar ambientes e metodologias avançadas de verificação formal para projetos complexos de ASIC, incluindo fluxos automatizados para escalabilidade e eficiência.
- Mentoria: Treinar e orientar engenheiros juniores em técnicas formais e processos padrão; Ajudar na documentação de metodologia/FAQ.
- Suportar o bring-up e debug de silício usando métodos formais onde aplicável.
Requisitos mínimos
O que precisamos ver
- BS/MS/PhD ou experiência equivalente em CS/CE/EE.
- 12+ anos em verificação de ASIC com 8+ anos focados em métodos de verificação formal.
- Maestria em SystemVerilog Assertions (SVA) e verificação formal de propriedades.
- Proficiência em pelo menos uma ferramenta popular de verificação formal na indústria (JasperGold, VC Formal, etc.).
- Boas habilidades de scripting para automação de fluxo (tcl, python, etc.).
- Boas habilidades de comunicação escrita e oral.
- Atenção aguçada aos detalhes.
Formas de se destacar na multidão
- Sucesso comprovado em sign-off formal de ciclo completo para projetos complexos.
- Expertise em aplicativos formais: aplicativos FPV, verificações de equivalência sequencial, verificação de datapath, etc.
- Profundo entendimento da arquitetura/design de GPU ou LPU.
Considerada amplamente um dos empregadores mais desejados do mundo da tecnologia, a NVIDIA oferece salários altamente competitivos e um pacote abrangente de benefícios. Ao planejar seu futuro, veja o que podemos oferecer a você e sua família em nvidiabenefits.com nvidiabenefits.com.
Você também será elegível para ações e benefícios nvidia.com/en-us/benefits/.
Seu salário base será determinado com base em sua localização, experiência e remuneração de funcionários em posições semelhantes. A faixa salarial base é 195,000 CAD - 245,000 CAD.
As inscrições para esta vaga serão aceitas pelo menos até 10 de julho de 2026.
Esta publicação é para uma vaga existente.
A NVIDIA utiliza ferramentas de IA em seus processos de recrutamento.
Mais oportunidades com um só perfil
Quer aparecer para várias vagas sem repetir todo o processo? Crie seu perfil e seja encontrado pelas empresas que usam a Nort.
Criar meu perfil