Estados Unidos
Sherpa 6
Waymo
Engenheiro Sênior de Verificação Formal
Estados Unidos
Mountain View, California, United States
PythonC++
Tradução automática. Consulte o original.
Sobre a oportunidade
Waymo é uma empresa de tecnologia de direção autônoma com a missão de ser o motorista mais confiável do mundo. Desde seu início como o Projeto de Carro Autônomo do Google em 2009, a Waymo tem se concentrado em construir o Motorista Waymo — O Motorista Mais Experiente do Mundo™ — para melhorar o acesso à mobilidade, enquanto salva milhares de vidas perdidas em acidentes de trânsito. O Motorista Waymo impulsiona o serviço de transporte totalmente autônomo da Waymo e também pode ser aplicado a uma variedade de plataformas de veículos e casos de uso de produtos. O Motorista Waymo realizou mais de dez milhões de viagens apenas com passageiros, possibilitadas por sua experiência em dirigir autonomamente mais de 100 milhões de milhas em vias públicas e dezenas de bilhões em simulação em mais de 15 estados dos EUA.
A Equipe de Computação da Waymo tem uma missão crítica e empolgante: Entregamos a plataforma de computação responsável por executar a pilha de software do veículo totalmente autônomo. Para atingir nossa missão, projetamos e criamos chips personalizados de alto desempenho; desenvolvemos arquiteturas de computação em nível de sistema que expandem os limites de desempenho, energia e latência; e colaboramos estreitamente com muitos outros colegas para garantir que projetamos e otimizamos hardware e software para desempenho máximo. Somos uma equipe multidisciplinar em busca de colegas curiosos e talentosos para trabalhar em uma das plataformas de computação automotiva de mais alto desempenho do mundo.
Esta função segue um cronograma de trabalho híbrido e você se reportará a um Líder de Engenharia de Silício.
Você irá
- Definir e impulsionar a estratégia formal para o sucesso da primeira passagem de silício. Ser o responsável pela abordagem de aprovação de verificação formal em projetos complexos de IP e SoC, utilizando técnicas formais avançadas (por exemplo, Verificação de Modelo Limitado, Validação de Datapath, Conectividade, LEC Sequencial, etc.)
- Arquitetar ambientes de FV robustos e escaláveis. Desenvolver e implantar testbenches formais reutilizáveis, fluxos de metodologia e suítes de asserções SVA de alta cobertura para implantação sistêmica em múltiplos blocos de design e projetos
- Liderança técnica e mentoria. Atuar como o Especialista Assunto (Subject Matter Expert) em formal da equipe, treinando e orientando designers de lógica e engenheiros de verificação para incorporar efetivamente métodos formais em seus fluxos de trabalho
- Planejamento estratégico e execução de plano de teste. Colaborar com as equipes de Arquitetura e Design para traduzir especificações complexas de sistema e IP em planos de teste de verificação formal abrangentes
- Impulsionar Infraestrutura e Relatórios de FV. Manter e aprimorar a integração contínua, fluxos de regressão e dashboards para fornecer status claro e acionável de verificação formal e métricas de aprovação para a liderança
- Caça e depuração avançada de bugs. Aplicar técnicas formais de ponta (por exemplo, assume-guarantee, abstrações, reduções) para lidar e decompor eficientemente os problemas de verificação mais desafiadores e intratáveis
Requisitos mínimos
Você tem
- Bacharelado/Mestrado/Doutorado em Ciência da Computação/Engenharia Elétrica ou área relacionada, combinado com 5+ anos de experiência prática em verificação formal em produtos de silício lançados
- Proficiência profunda e de nível especialista em pelo menos uma plataforma comercial principal de verificação formal (por exemplo, Cadence JasperGold, Synopsys VC Formal, Mentor Questa Formal)
- Proficiência em linguagem de alto nível em C++ e/ou Python
- Capacidade de modelar projetos complexos em SystemVerilog e Asserções SystemVerilog avançadas, incluindo a escrita de cut-points complexos e modelos de ambiente para convergência de prova formal eficaz
- Histórico comprovado na aplicação de técnicas avançadas de depuração formal para decomposição de problemas (por exemplo, cruzamentos de domínio de clock, abstrações, raciocínio assume-guarantee)
- Excelentes habilidades de comunicação verbal e escrita com a capacidade de influenciar equipes multifuncionais (Design, Arquitetura, Software) e impulsionar o alinhamento técnico
Nós preferimos
- Estar informado sobre os últimos desenvolvimentos em pesquisa de verificação formal e prática da indústria, identificar oportunidades para o processo de desenvolvimento de silício da Waymo
- Experiência em provar formalmente a correção de unidades aritméticas, como somadores de ponto flutuante e multiplicadores
- Conhecimento/experiência trabalhando com NOCs e topologias de rede, protocolos (por exemplo, AXI/AMBA)
- Compreender os princípios básicos de coerência de cache
- Experiência com projetos de alto desempenho
A faixa salarial base esperada para esta posição em tempo integral em locais nos EUA está listada abaixo. O salário inicial real será baseado em fatores relacionados ao trabalho, incluindo local de trabalho exato, experiência, treinamento e educação relevantes, e nível de habilidade. Seu recrutador pode compartilhar mais sobre a faixa salarial específica para o local da vaga ou, se a vaga puder ser realizada remotamente, a faixa salarial específica para sua localização preferida, durante o processo de contratação.
Os funcionários da Waymo também são elegíveis para participar do programa de bônus anual discricionário da Waymo, plano de incentivo acionário e generoso programa de benefícios da Empresa, sujeito aos requisitos de elegibilidade.
Faixa Salarial $204,000—$259,000 USD
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