AI Compiler Formal Verification Intern — NVIDIA (ufficio Zurich)
- Ort
- Zürich
- Vertrag
- Vollzeit
- Veröffentlicht
- vor 25 Tagen
Vollständige Beschreibung
Die Erfindung der GPU 1999 von NVIDIA löste das Wachstum des PC-Gaming-Marktes aus, definierte moderne Computergrafiken neu und revolutionierte das Parallel Computing. In jüngerer Zeit entzündete GPU Deep Learning die moderne KI - die nächste Ära des Computing - mit der GPU als Gehirn von Computern, Robotern und selbstfahrenden Autos, die die Welt wahrnehmen und verstehen können. Heute werden wir zunehmend als „KI-Computing-Unternehmen bezeichnet.
Was du tun wirst
Erforschen und implementieren Sie innovative formale Methoden, um hochmoderne KI-Compiler zu verifizieren. Dies umfasst, ist aber nicht beschränkt auf AI-Compiler-Features, Pässe, IRs, Subgraphen, Absenkungen und andere kritische Elemente von AI-Compiler. Diese Rolle bietet Ihnen die Möglichkeit, KI, formale Verifizierung und andere Formen der semantischen Verifizierung oder statische Analysetechniken zu erforschen und zu verwenden, um innovative Lösungen zu entwickeln, die KI-Compiler für menschliche und agentische Anwendungsfälle verifizieren.
Was wir sehen müssen
- Verfolgung PhD in Informatik, Computer / Elektrotechnik, Mathematik oder gleichwertiges Programm
- Starke Python- oder C++-Programmierkenntnisse
- Starker akademischer Hintergrund in formalen Methoden (vorzugsweise PhD)
Möglichkeiten, sich von der Masse abzuheben
- Akademischer oder industrieller Hintergrund mit LEAN oder SMT zur Lösung von Compiler- oder Compiler-angrenzenden Problemen
- Kenntnisse von Deep Learning Frameworks (wie Pytorch und TensorRT) und Compilern
Mit wettbewerbsfähigen Gehältern und einem großzügigen Leistungspaket gelten wir weithin als einer der begehrtesten Arbeitgeber der Technologiewelt. Wir haben einige der fortschrittlichsten und fleißigsten Menschen der Welt, die für uns arbeiten, und aufgrund eines beispiellosen Wachstums wachsen unsere exklusiven Engineering-Teams schnell. Wenn Sie ein kreativer und autonomer Ingenieur mit einer echten Leidenschaft für Technologie sind, möchten wir von Ihnen hören.
Fragen zu dieser Stellenanzeige
Welches Gehalt bietet NVIDIA (ufficio Zurich) für diese Stelle?
Das Original-Inserat nennt kein Gehalt. Unsere Schätzung für diese Rolle und Branche in Zürich liegt bei CHF 57'500 - 87'000 brutto pro Jahr — eine Schätzung, kein von NVIDIA (ufficio Zurich) mitgeteilter Betrag. Der Rechner auf dieser Seite berechnet aus einem Bruttogehalt Ihr tatsächliches Netto nach Grenzgänger-Steuer und Sozialabgaben.
Ist das eine Vollzeitstelle, und welchen Vertragstyp bietet NVIDIA (ufficio Zurich)?
Diese Stelle ist eine Vollzeit-Position. Der hier angezeigte Vertragstyp stammt direkt aus dem Original-Inserat des Arbeitgebers; klären Sie genaue Arbeitszeiten, Kündigungsfrist und Probezeit während des Bewerbungsprozesses mit NVIDIA (ufficio Zurich), da diese Details auch innerhalb derselben Vertragskategorie variieren können.
Brauche ich eine Grenzgänger-Bewilligung für eine Stelle im Kanton Zürich?
EU/EFTA-Bürger mit Wohnsitz in der Grenzzone des an den Kanton Zürich angrenzenden Landes können eine G-Bewilligung beantragen; der Schweizer Arbeitgeber reicht sie nach Vertragsunterzeichnung beim Migrationsamt dieses Kantons ein. Grenzzonen-Regeln und Bearbeitungszeiten variieren je nach Nachbarland und Kanton — klären Sie die Details mit dem Migrationsamt des Kantons Zürich oder mit HR während der Bewerbung.
Wie bewerbe ich mich für diese Stelle bei NVIDIA (ufficio Zurich)?
Nutzen Sie die Schaltfläche "Jetzt bewerben" auf dieser Seite — sie führt direkt zum Original-Inserat von NVIDIA (ufficio Zurich) unter nvidia.wd5.myworkdayjobs.com, sodass Ihre Bewerbung direkt im Bewerbermanagementsystem des Arbeitgebers landet. Frontaliere Ticino sammelt oder leitet keine Bewerbungen selbst weiter.
