Vereinigte Staaten
PwrQ Holdings LLC
Waymo
Senior Formal Verification Engineer
Vereinigte Staaten
Mountain View, California, United States
PythonC++
Automatische Übersetzung. Prüfe das Original.
Über die Stelle
Waymo ist ein Unternehmen für autonome Fahrtechnologie mit der Mission, der weltweit vertrauenswürdigste Fahrer zu sein. Seit seiner Gründung als Google Self-Driving Car Project im Jahr 2009 konzentriert sich Waymo auf den Aufbau des Waymo Drivers – des weltweit erfahrensten Fahrers™ –, um den Zugang zur Mobilität zu verbessern und Tausende von Leben zu retten, die durch Verkehrsunfälle verloren gehen. Der Waymo Driver betreibt den vollautonomen Ride-Hail-Service von Waymo und kann auch auf eine Reihe von Fahrzeugplattformen und Produktanwendungsfällen angewendet werden. Der Waymo Driver hat über zehn Millionen Fahrten nur mit Fahrgästen ermöglicht, gestützt auf seine Erfahrung mit autonomem Fahren von über 100 Millionen Meilen auf öffentlichen Straßen und zig Milliarden in Simulationen in über 15 US-Bundesstaaten.
Das Compute Team von Waymo hat eine kritische und spannende Mission: Wir liefern die Compute-Plattform, die für den Betrieb des Software-Stacks des vollautonomen Fahrzeugs verantwortlich ist. Um unsere Mission zu erfüllen, entwickeln wir hochleistungsfähige kundenspezifische Siliziumchips; wir entwickeln systemweite Compute-Architekturen, die die Grenzen von Leistung, Stromverbrauch und Latenz verschieben; und wir arbeiten eng mit vielen anderen Teammitgliedern zusammen, um sicherzustellen, dass wir Hardware und Software für maximale Leistung entwickeln und optimieren. Wir sind ein multidisziplinäres Team, das neugierige und talentierte Teammitglieder sucht, um an einer der weltweit leistungsstärksten automobilen Compute-Plattformen zu arbeiten.
Diese Rolle folgt einem hybriden Arbeitszeitmodell und Sie berichten an einen Silicon Engineering Lead.
Ihre Aufgaben
- Definieren und Vorantreiben der formalen Strategie für den ersten Siliziumerfolg. Verantwortlich für den formalen Verifikations-Sign-off-Ansatz über komplexe IP- und SoC-Designs hinweg, unter Einsatz fortschrittlicher formaler Techniken (z. B. Bounded Model Checking, Datapath Validation, Connectivity, Sequential LEC usw.)
- Entwerfen robuster und skalierbarer FV-Umgebungen. Entwickeln und Bereitstellen von wiederverwendbaren formalen Testbenches, Methodik-Flows und SVA- Assertions-Suiten mit hoher Abdeckung für den systemweiten Einsatz über mehrere Designblöcke und Projekte hinweg
- Technische Führung & Mentoring. Fungieren als formales Subject-Matter-Expert-Teammitglied, Schulung und Anleitung von Logikdesignern und Verifikationsingenieuren zur effektiven Integration formaler Methoden in ihre Arbeitsabläufe
- Strategische Planung und Testplan-Ausführung. Zusammenarbeit mit den Architektur- und Designteams zur Übersetzung komplexer System- und IP- Spezifikationen in umfassende formale Verifikations-Testpläne
- FV-Infrastruktur & Reporting vorantreiben. Pflege und Verbesserung von Continuous-Integration- und Regression-Flows sowie Dashboarding, um klare, umsetzbare formale Verifikationsstatus- und Sign-off-Metriken für die Leitung bereitzustellen
- Fortgeschrittene Fehlererkennung und -behebung. Anwendung modernster formaler Techniken (z. B. Assume-Guarantee, Abstraktionen, Reduktionen) zur Bewältigung und effizienten Zerlegung der anspruchsvollsten, unlösbaren Verifikationsprobleme
Mindestanforderungen
Sie bringen mit
- BS/MS/PhD in Informatik/Elektrotechnik oder verwandtem Fachgebiet, kombiniert mit 5+ Jahren praktischer Erfahrung in der formalen Verifikation von ausgelieferten Siliziumprodukten
- Tiefe, fachkundige Beherrschung mindestens einer großen kommerziellen formalen Verifikationsplattform (z. B. Cadence JasperGold, Synopsys VC Formal, Mentor Questa Formal)
- Hohe Sprachkenntnisse in C++ und/oder Python
- Fähigkeit, komplexe Designs in SystemVerilog und fortgeschrittenen SystemVerilog Assertions zu modellieren, einschließlich der Erstellung komplexer Cut-Points und Umgebung-Modelle für eine effektive formale Beweiskonvergenz
- Nachgewiesene Erfolgsbilanz bei der Anwendung fortgeschrittener formaler Debug-Techniken zur Problemzerlegung (z. B. Clock Domain Crossing, Abstraktionen, Assume-Guarantee-Reasoning)
- Ausgezeichnete verbale und schriftliche Kommunikationsfähigkeiten mit der Fähigkeit, funktionsübergreifende Teams (Design, Architektur, Software) zu beeinflussen und technische Abstimmung voranzutreiben
Wir bevorzugen
- Informiert über die neuesten Entwicklungen in der formalen Verifikationsforschung und Industriepraxis, Identifizierung von Möglichkeiten für den Silizium- Entwicklungsprozess von Waymo
- Erfahrung in der formalen Beweisführung der Korrektheit von arithmetischen Einheiten wie Gleitkomma-Addierern und -Multiplikatoren
- Kenntnisse/Erfahrung mit NOCs und Netzwerk-Topologien, Protokollen (z. B. AXI/AMBA)
- Grundlegende Prinzipien der Cache-Kohärenz verstehen
- Erfahrung mit Hochleistungsdesigns
Die erwartete Gehaltsspanne für diese Vollzeitposition an US-Standorten ist unten aufgeführt. Das tatsächliche Einstiegsgehalt basiert auf arbeitsbezogenen Faktoren, einschließlich des genauen Arbeitsortes, der Erfahrung, der relevanten Ausbildung und des Qualifikationsniveaus. Ihr Recruiter kann Ihnen während des Einstellungsverfahrens weitere Informationen über die spezifische Gehaltsspanne für den Standort der Stelle oder, falls die Stelle remote ausgeführt werden kann, über die spezifische Gehaltsspanne für Ihren bevorzugten Standort geben.
Mitarbeiter von Waymo sind außerdem berechtigt, am diskretionären jährlichen Bonusprogramm von Waymo, am Aktienoptionsplan und am großzügigen Leistungsprogramm des Unternehmens teilzunehmen, vorbehaltlich der Teilnahmevoraussetzungen.
Gehaltsspanne $204,000—$259,000 USD
Mehr Möglichkeiten mit einem Profil
Für mehr Stellen berücksichtigt werden, ohne den ganzen Prozess zu wiederholen? Erstellen Sie Ihr Profil, damit Unternehmen auf Nort Sie finden.
Profil erstellen