AI Compiler Formal Verification Intern — NVIDIA (ufficio Zurich)
- Lieu
- Zürich
- Contrat
- Temps plein
- Publié
- il y a 25 jours
Description complète
L'invention du GPU 1999 par NVIDIA a déclenché la croissance du marché des jeux PC, redéfini les graphismes informatiques modernes et révolutionné l'informatique parallèle. Plus récemment, l'apprentissage en profondeur du GPU a enflammé l'IA moderne — la prochaine ère de l'informatique — avec le GPU agissant comme le cerveau d'ordinateurs, de robots et de voitures autonomes qui peuvent percevoir et comprendre le monde. Aujourd'hui, nous sommes de plus en plus connus comme la société de calcul AI.
Ce que vous allez faire
Recherche et mise en œuvre de méthodes formelles innovantes pour vérifier l'état de l'art compilateurs AI. Cela comprend, sans s'y limiter, les fonctions du compilateur AI, les passes, les IR, les sous-graphes, les abaissements et d'autres éléments critiques des compilateurs AI. Ce rôle vous offre l'occasion d'explorer et d'utiliser l'IA, la vérification formelle et d'autres formes de vérification sémantique ou les techniques d'analyse statique pour innover des solutions qui vérifient les compilateurs d'IA pour les cas humains et d'utilisation d'agents.
Ce que nous devons voir
- Doctorat en informatique, génie informatique/électronique, mathématiques ou programme équivalent
- Fortes compétences en programmation Python ou C++
- Forte formation universitaire en méthodes formelles (de préférence doctorat)
Comment se démarquer de la foule
- Expérience universitaire ou industrielle utilisant LEAN ou SMT pour résoudre des problèmes de compilateur ou de compilateur adjacent
- Connaissance des cadres d'apprentissage profond (comme Pytorch et TensorRT) et des compilateurs
Avec des salaires compétitifs et un ensemble d'avantages généreux, nous sommes largement considérés comme l'un des employeurs les plus souhaitables du monde de la technologie. Nous avons quelques-uns des gens les plus tournés vers l'avant et les plus travailleurs au monde qui travaillent pour nous et, grâce à une croissance sans précédent, nos équipes d'ingénieurs exclusifs se développent rapidement. Si vous êtes un ingénieur créatif et autonome avec une vraie passion pour la technologie, nous voulons entendre de vous.
Questions sur cette offre
Quel salaire propose NVIDIA (ufficio Zurich) pour ce poste ?
L'annonce d'origine n'indique pas de salaire. Notre estimation pour ce rôle et ce secteur à Zürich est de CHF 57'500 - 87'000 bruts par an — une estimation, pas un montant communiqué par NVIDIA (ufficio Zurich). Le calculateur de ce site convertit un salaire brut en net réel une fois l'impôt frontalier et les cotisations sociales appliqués.
Est-ce un poste à temps plein, et quel type de contrat propose NVIDIA (ufficio Zurich) ?
Cette offre est un poste en temps plein. Le type de contrat affiché ici provient directement de l'annonce originale de l'employeur ; confirmez toujours les horaires exacts, le préavis et la durée d'essai avec NVIDIA (ufficio Zurich) pendant le processus de candidature, ces détails pouvant varier même au sein de la même catégorie de contrat.
Ai-je besoin d'un permis de frontalier pour un poste dans le canton de Zurich ?
Les résidents UE/AELE domiciliés dans la zone frontalière du pays voisin du canton de Zurich peuvent demander un permis G ; l'employeur suisse le dépose auprès de l'office cantonal des migrations après signature du contrat. Les règles de zone frontalière et les délais varient selon le pays voisin et le canton — confirmez les détails auprès de l'office des migrations du canton de Zurich ou avec les RH pendant la candidature.
Comment postuler à ce poste chez NVIDIA (ufficio Zurich) ?
Utilisez le bouton « Postuler maintenant » sur cette page — il renvoie directement à l'annonce originale de NVIDIA (ufficio Zurich) sur nvidia.wd5.myworkdayjobs.com, votre candidature arrive donc directement dans le système de suivi des candidatures de l'employeur. Frontaliere Ticino ne collecte ni ne transmet lui-même les candidatures.
