États-Unis
Nominal
Waymo
Ingénieur Senior en Vérification Formelle
États-Unis
Mountain View, California, United States
PythonC++
Traduction automatique. Consultez l’original.
À propos du poste
Waymo est une entreprise de technologie de conduite autonome dont la mission est d'être le conducteur le plus fiable au monde. Depuis ses débuts en tant que Google Self-Driving Car Project en 2009, Waymo s'est concentré sur la création du Conducteur Waymo — Le Conducteur le plus Expérimenté au Monde™— pour améliorer l'accès à la mobilité tout en sauvant des milliers de vies perdues aujourd'hui dans des accidents de la route. Le Conducteur Waymo alimente le service de voiturage entièrement autonome de Waymo et peut également être appliqué à une gamme de plateformes de véhicules et de cas d'utilisation de produits. Le Conducteur Waymo a effectué plus de dix millions de trajets réservés aux passagers, grâce à son expérience de conduite autonome sur plus de 100 millions de miles sur routes publiques et des dizaines de milliards en simulation à travers plus de 15 États américains.
L'équipe Informatique de Waymo est chargée d'une mission critique et passionnante : nous fournissons la plateforme informatique responsable de l'exécution de la pile logicielle du véhicule entièrement autonome. Pour atteindre notre mission, nous concevons et créons des circuits intégrés personnalisés haute performance ; nous développons des architectures informatiques au niveau du système qui repoussent les limites de la performance, de la consommation d'énergie et de la latence ; et nous collaborons étroitement avec de nombreux autres coéquipiers pour garantir que nous concevons et optimisons le matériel et le logiciel pour une performance maximale. Nous sommes une équipe multidisciplinaire recherchant des coéquipiers curieux et talentueux pour travailler sur l'une des plateformes informatiques automobiles les plus performantes au monde.
Ce poste suit un horaire de travail hybride et vous reporterez à un Responsable de l'Ingénierie des Circuits Intégrés.
Vos missions
- Définir et piloter la stratégie formelle pour le succès des circuits intégrés dès la première passe. Assumer l'approche de validation formelle pour des conceptions complexes de circuits intégrés et de SoC, en utilisant des techniques formelles avancées (par exemple, Bounded Model Checking, Datapath Validation, Connectivity, Sequential LEC, etc.)
- Concevoir des environnements de vérification formelle robustes et évolutifs. Développer et déployer des bancs de test formels réutilisables, des flux méthodologiques et des suites d'assertions SVA à haute couverture pour un déploiement systémique sur plusieurs blocs de conception et projets.
- Leadership technique et mentorat. Servir d'expert technique formel de l'équipe, former et guider les concepteurs logiques et les ingénieurs de vérification pour intégrer efficacement les méthodes formelles dans leurs flux de travail.
- Planification stratégique et exécution du plan de test. Collaborer avec les équipes Architecture et Conception pour traduire les spécifications complexes du système et des circuits intégrés en plans de test de vérification formelle complets.
- Piloter l'infrastructure et le reporting de la vérification formelle. Maintenir et améliorer l'intégration continue, les flux de régression et le tableau de bord pour fournir un statut clair et exploitable de la vérification formelle et des métriques de validation à la direction.
- Recherche et débogage avancés de bugs. Appliquer des techniques formelles de pointe (par exemple, assume-guarantee, abstractions, réductions) pour aborder et décomposer efficacement les problèmes de vérification les plus difficiles et insolubles.
Prérequis
Votre profil
- Diplôme de BS/MS/PhD en informatique/génie électrique ou domaine connexe, combiné à 5+ années d'expérience pratique en vérification formelle sur des produits à circuits intégrés commercialisés.
- Maîtrise approfondie et experte d'au moins une plateforme majeure de vérification formelle commerciale (par exemple, Cadence JasperGold, Synopsys VC Formal, Mentor Questa Formal).
- Maîtrise des langages de haut niveau en C++ et/ou Python.
- Capacité à modéliser des conceptions complexes en SystemVerilog et en assertions SystemVerilog avancées, y compris la rédaction de points de coupure complexes et de modèles d'environnement pour une convergence de preuve formelle efficace.
- Expérience avérée dans l'application de techniques de débogage formel avancées pour la décomposition de problèmes (par exemple, franchissements de domaines d'horloge, abstractions, raisonnement assume-guarantee).
- Excellentes compétences en communication verbale et écrite avec la capacité d'influencer des équipes interfonctionnelles (Conception, Architecture, Logiciel) et de favoriser l'alignement technique.
Nous apprécierions
- Connaissance des derniers développements dans la recherche en vérification formelle et les pratiques de l'industrie, identification des opportunités pour le processus de développement de circuits intégrés de Waymo.
- Expérience dans la preuve formelle de la correction des unités arithmétiques telles que les additionneurs et multiplicateurs en virgule flottante.
- Connaissance/expérience de travail avec les NOC et les topologies réseau, les protocoles (par exemple, AXI/AMBA).
- Compréhension des principes de base de la cohérence des caches.
- Expérience avec des conceptions haute performance.
La fourchette de salaire de base attendue pour ce poste à temps plein dans les différents lieux aux États-Unis est indiquée ci-dessous. Le salaire de départ réel sera basé sur des facteurs liés au poste, y compris le lieu de travail exact, l'expérience, la formation et l'éducation pertinentes, et le niveau de compétence. Votre recruteur pourra vous fournir plus d'informations sur la fourchette de salaire spécifique pour le lieu du poste ou, si le poste peut être effectué à distance, sur la fourchette de salaire spécifique pour votre lieu préféré, pendant le processus d'embauche.
Les employés de Waymo sont également éligibles à participer au programme discrétionnaire de bonus annuel de Waymo, au plan d'incitation en actions et au généreux programme d'avantages sociaux de l'entreprise, sous réserve des conditions d'éligibilité.
Fourchette de salaire $204,000—$259,000 USD
Plus d’opportunités avec un seul profil
Vous souhaitez accéder à plus de postes sans répéter tout le processus ? Créez votre profil pour être trouvé par les entreprises utilisant Nort.
Créer mon profil