Kanada
Cardata
NVIDIA
Senior Formal Verification Engineer - LPU
Kanada
Kanada
Python
Automatische Übersetzung. Prüfe das Original.
Über die Stelle
NVIDIA transformiert seit mehr als 25 Jahren Computergrafik, PC-Gaming und beschleunigtes Computing. Es ist ein einzigartiges Erbe der Innovation, das von großartiger Technologie – und erstaunlichen Menschen – angetrieben wird! Heute nutzen wir das unbegrenzte Potenzial der KI, um die nächste Ära des Computings zu definieren. Eine Ära, in der unsere GPU als Gehirn von Computern, Robotern und selbstfahrenden Autos fungiert, die die Welt verstehen können. Etwas zu tun, das noch nie zuvor getan wurde, erfordert Vision, Innovation und die besten Talente der Welt. Als NVIDIAN tauchen Sie in ein vielfältiges, unterstützendes Umfeld ein, in dem jeder inspiriert ist, seine beste Arbeit zu leisten. Kommen Sie zu uns und entdecken Sie, wie Sie einen bleibenden Einfluss auf die Welt aufbauen können!
Als Senior Formal Verification Engineer bei NVIDIA verifizieren Sie ASICs, die an der Spitze entwickelt wurden, mithilfe von Formal Verification Tools. Sie definieren den Verifikationsumfang und stellen die Korrektheit sicher. Sie setzen hochentwickelte formale Techniken ein, um ausreichend begrenzte Beweise zu erlangen, während Sie mit Architekten, Designern und Pre- & Post-Silicon-Verifikationsteams zusammenarbeiten, um Ihre Aufgaben zu erfüllen und die Methoden und Flows der formalen Verifikation zu verbessern. Sie werden die formale Verifikation für den gesamten Projektzyklus effizient abschließen, qualitativ hochwertige Ergebnisse termingerecht liefern und diese Ergebnisse dem Team klar vermitteln.
Was Sie tun werden
- Hauptaufgabe: Verifizierung von hochentwickelten KI-bezogenen ASIC-Designs und -Funktionen mit formalen Verifikationsmethoden.
- Multifunktionale Zusammenarbeit: Partnerschaft mit Architektur-/RTL-Teams zur Spezifikation von Eigenschaften, zur Lösung von tiefgreifenden Designproblemen und zur Beeinflussung von Mikroarchitekturentscheidungen.
- Ausführung der formalen Verifikation: Nutzung und Entfesselung der Leistung der formalen Verifikation, um kritische Designeigenschaften rigoros zu überprüfen und die Einhaltung von Spezifikationen sicherzustellen sowie Spezifikationsunklarheiten zu minimieren.
- Formulierung der formalen Verifikationsabdeckung für Partner
- Methodologieführung: Entwicklung und Implementierung fortschrittlicher Umgebungen und Methoden für die formale Verifikation komplexer ASIC-Designs, einschließlich automatisierter Flows für Skalierbarkeit und Effizienz.
- Mentoring: Schulung und Coaching von Junior-Ingenieuren in formalen Techniken und Standardprozessen; Unterstützung bei der Methodologie-/FAQ-Dokumentation.
- Unterstützung beim Silicon Bring-up und Debugging unter Anwendung formaler Methoden, wo immer dies zutrifft.
Mindestanforderungen
Was wir sehen müssen
- BS/MS/PhD oder gleichwertige Erfahrung in CS/CE/EE.
- 12+ Jahre in der ASIC-Verifikation mit 8+ Jahren Fokus auf formale Verifikationsmethoden.
- Beherrschung von SystemVerilog Assertions (SVA) und formaler Eigenschaftsverifikation.
- Sicherer Umgang mit mindestens einem gängigen Tool für formale Verifikation in der Branche (JasperGold, VC Formal, etc.).
- Gute Skripting-Kenntnisse für die Automatisierung von Flows (tcl, python, etc.).
- Gute schriftliche und mündliche Kommunikationsfähigkeiten.
- Ausgeprägtes Augenmerk für Details.
So heben Sie sich von der Masse ab
- Nachgewiesener Erfolg bei der vollständigen formalen Freigabe komplexer Designs.
- Expertise in formalen Anwendungen: FPV-Anwendungen, sequentielle Äquivalenzprüfungen, Datenpfadverifikation usw.
- Tiefes Verständnis der GPU- oder LPU-Architektur/des Designs.
Als einer der begehrtesten Arbeitgeber der Technologiewelt bietet NVIDIA äußerst wettbewerbsfähige Gehälter und ein umfassendes Leistungspaket. Wenn Sie Ihre Zukunft planen, sehen Sie, was wir Ihnen und Ihrer Familie bieten können unter nvidiabenefits.com nvidiabenefits.com.
Sie haben außerdem Anspruch auf Aktienoptionen und Leistungen unter nvidia.com/en-us/benefits/.
Ihr Grundgehalt wird basierend auf Ihrem Standort, Ihrer Erfahrung und dem Gehalt von Mitarbeitern in ähnlichen Positionen ermittelt. Die Gehaltsspanne für das Grundgehalt beträgt 195,000 CAD - 245,000 CAD.
Bewerbungen für diese Stelle werden mindestens bis zum 10. Juli 2026 angenommen.
Diese Ausschreibung betrifft eine bestehende Stelle.
NVIDIA nutzt KI-Tools in seinen Rekrutierungsprozessen.
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