Vereinigte Staaten
Roku
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 erfahrensten Fahrers der Welt™ – um den Zugang zur Mobilität zu verbessern und gleichzeitig Tausende von Leben zu retten, die durch Verkehrsunfälle verloren gehen. Der Waymo Driver treibt den vollständig autonomen Ride-Hailing-Service von Waymo an und kann auch auf eine Reihe von Fahrzeugplattformen und Produktanwendungsfällen angewendet werden. Der Waymo Driver hat über zehn Millionen rein fahrerlose Fahrten ermöglicht, gestützt auf seine Erfahrung im autonomen 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 Rechenplattform, die für den Betrieb des vollständig autonomen Fahrzeug-Software-Stacks verantwortlich ist. Um unsere Mission zu erfüllen, entwickeln wir hochleistungsfähige kundenspezifische Siliziumchips; wir entwickeln systemweite Rechenarchitekturen, die die Grenzen von Leistung, Energieverbrauch 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, die an einer der weltweit leistungsstärksten Automotive-Compute-Plattformen arbeiten.
Diese Rolle folgt einem hybriden Arbeitsmodell 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 Nutzung fortschrittlicher formaler Techniken (z. B. Bounded Model Checking, Datapath Validation, Connectivity, Sequential LEC usw.)
- Entwerfen robuster und skalierbarer FV-Umgebungen. Entwickeln und Bereitstellen wiederverwendbarer formaler Testbenches, Methodik-Flows und SVA-Assertions-Suiten mit hoher Abdeckung für den systemischen Einsatz über mehrere Designblöcke und Projekte hinweg.
- Technische Führung & Mentoring. Fungieren als formaler Fachexperte (Subject Matter Expert) des Teams, Schulung und Anleitung von Logikdesignern und Verifikationsingenieuren zur effektiven Einbindung formaler Methoden in ihre Arbeitsabläufe.
- Strategische Planung und Testplanausführung. Zusammenarbeit mit Architektur- und Design-Teams zur Übersetzung komplexer System- und IP-Spezifikationen in umfassende formale Verifikationspläne.
- Vorantreiben der FV-Infrastruktur & Berichterstattung. Pflege und Verbesserung von Continuous Integration, Regression-Flows und Dashboarding, um klare, umsetzbare Statusberichte und Sign-off-Metriken zur formalen Verifikation für die Führungsebene 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.
- Tiefgreifende, fachübergreifende Expertise in 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 des Schreibens komplexer Cut-Points und Umgebung-Modelle für eine effektive formale Beweiskonvergenz.
- Nachgewiesene Erfolgsbilanz in der Anwendung fortgeschrittener formaler Debugging-Techniken zur Problemzerlegung (z. B. Clock Domain Crossings, 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
- Kenntnisse über die neuesten Entwicklungen in der formalen Verifikationsforschung und Industriepraxis, Identifizierung von Möglichkeiten für den Siliziumentwicklungsprozess von Waymo.
- Erfahrung in der formalen Verifizierung der Korrektheit von arithmetischen Einheiten wie Gleitkomma-Addierern und -Multiplizierern.
- Kenntnisse/Erfahrung in der Arbeit mit NOCs und Netzwerk-Topologien, Protokollen (z. B. AXI/AMBA).
- Verständnis der grundlegenden Prinzipien der Cache-Kohärenz.
- Erfahrung mit Hochleistungsdesigns.
Die erwartete Gehaltsspanne für diese Vollzeitstelle 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 Kenntnisstands. Ihr Recruiter kann Ihnen während des Einstellungsprozesses 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