Engenheiro Sênior de Verificação Formal

Descrição

Resumo: A NVIDIA procura um Engenheiro de Verificação Formal para verificar a microarquitetura de GPUs usando ferramentas formais, definir o escopo de verificação e garantir a correção. Pontos principais: 1. Verifique a construção e implementação de GPUs líderes no setor. 2. Empregue técnicas formais sofisticadas para obter provas limitadas. 3. Trabalhe com arquitetos e equipes de verificação para concluir as tarefas. A NVIDIA vem transformando gráficos computacionais, jogos para PC e computação acelerada há mais de 25 anos. É um legado único de inovação impulsionado por tecnologia de ponta — e por pessoas extraordinárias. Hoje, estamos explorando 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 veículos autônomos capazes de compreender o mundo. Fazer o que nunca foi feito antes exige visão, inovação e os melhores talentos do mundo. Como NVIDIAN, você estará imerso em um ambiente diversificado e solidário, onde todos são inspirados a fazer o seu melhor trabalho. Junte-se à equipe e veja como você pode causar um impacto duradouro no mundo. Como Engenheiro de Verificação Formal na NVIDIA, você verificará a construção e implementação das GPUs líderes do setor. Nesta posição, suas responsabilidades incluirão verificar a microarquitetura usando ferramentas de verificação formal, definir o escopo de verificação e garantir a correção. Você empregará técnicas formais sofisticadas para obter provas limitadas suficientemente robustas, enquanto trabalha com arquitetos, projetistas e equipes de verificação pré- e pós-silício para concluir suas tarefas. Você concluirá com eficiência o esforço de verificação formal durante todo o ciclo do projeto, entregando resultados de alta qualidade dentro do prazo e comunicando claramente esses resultados à equipe. O que você fará: * Identificar comportamentos-chave para verificação, a fim de redigir planos de teste claros para projetos sofisticados. * Implementar planos de teste utilizando as mais recentes técnicas formais, incluindo o desenvolvimento de suposições de ambiente, afirmações e propriedades de cobertura. * Desenvolver modelos de abstração para superar desafios de complexidade e obter provas completas ou provas limitadas com cobertura suficiente. * Otimizar o uso de ferramentas formais para extrair seu melhor desempenho. * Depurar RTL para identificar as causas de cenários de falha. * Contribuir para o desenvolvimento de fluxos e scripts a fim de melhorar a eficiência da equipe. * Articular a cobertura de verificação formal aos parceiros. O que precisamos ver: * Graduação/Bacharelado, Mestrado, Doutorado ou experiência equivalente em Ciência da Computação/Engenharia da Computação/Engenharia Elétrica/Matemática, com 8+ anos de experiência. * Compreensão das arquiteturas de GPU/CPU e dos fluxos de trabalho de engenharia. * Experiência com linguagens HDL Verilog / System Verilog e capacidade de compreender rapidamente RTL sofisticado. * Experiência com ferramentas formais e conhecimento de metodologias de verificação formal. * Capacidade de implementar técnicas de abstração para uma verificação eficaz. * Excelentes habilidades analíticas para resolver problemas sofisticados. * Domínio avançado de scripts usando TCL, Perl e/ou Python. * Excelente comunicação escrita e verbal. * Capacidade de colaborar de forma otimizada e trabalhar em uma equipe distribuída! Amplamente considerada um dos empregadores mais desejáveis do mundo tecnológico, a NVIDIA oferece salários altamente competitivos e um pacote abrangente de benefícios. Ao planejar seu futuro, confira o que podemos oferecer a você e à sua família em www.nvidiabenefits.com/