NVIDIA conçoit des processeurs graphiques, des systèmes de calcul et des logiciels pour l'intelligence artificielle et les applications graphiques.
AI Compiler Formal Verification Intern
NVIDIA recherche un stagiaire en vérification formelle de compilateurs d’IA à Zurich, en Suisse. La mission consiste à concevoir des méthodes formelles et à développer des solutions pour vérifier des compilateurs d’IA, avec Python ou C++. Une expérience avec LEAN ou SMT ainsi que la connaissance de PyTorch et TensorRT sont des atouts.
- Niveau : Stage / alternance
- Rythme : Temps plein
- Formation : Doctorat
-
Python
-
C++
- LEAN
- SMT
-
PyTorch
- TensorRT
Repères sur NVIDIA
- Domaine officiel
- nvidia.com
- Offres ouvertes
- 100
Détails de l’offre
La description complète publiée par NVIDIA.
Description de l’offre
NVIDIA's invention of the GPU 1999 sparked the growth of the PC gaming market, redefined modern computer graphics, and revolutionized parallel computing. More recently, GPU deep learning ignited modern AI
- the next era of computing
- with the GPU acting as the brain of computers, robots, and self-driving cars that can perceive and understand the world. Today, we are increasingly known as “the AI computing company”.
What you’ll be doing
Research and implement innovative formal methods to verify state of the art AI compilers. This includes but is not limited to AI compiler features, passes, IR's, sub-graphs, lowerings and other critical elements of AI compilers. This role provides you with an opportunity to explore and use AI, formal verification, and other forms of semantic verification or static analysis techniques to innovate solutions that verify AI compilers for human and agentic-use cases. What we need to see :
- Pursuing PhD in Computer Science, Computer/Electrical Engineering, Mathematics or equivalent program
- Strong Python or C++ programming skills
- Strong academic background in formal methods (preferably PhD) Ways to stand out from the crowd:
- Academic or industrial background using LEAN or SMT to solve compiler or compiler-adjacent problems
- Knowledge of deep learning frameworks (such as Pytorch and TensorRT) and compilers With competitive salaries and a generous benefits package, we are widely considered to be one of the technology world’s most desirable employers. We have some of the most forward-thinking and hardworking people in the world working for us and, due to unprecedented growth, our exclusive engineering teams are rapidly growing. If you're a creative and autonomous engineer with a real passion for technology, we want to hear from you.
Prérequis
- formal methods
Avantages mentionnés
- generous benefits package
Candidater à cette offre
Comment candidater ?
L’offre est publiée sur le site de NVIDIA. Ouvrez l’offre originale ↗ pour y déposer votre candidature. Screeningpass ne remplit pas de formulaire à votre place.
À qui écrire chez NVIDIA pour ce poste ?
Lancez une recherche de contact depuis cette page. Screeningpass vous propose jusqu’à trois personnes liées au poste. Vous choisissez celle à qui écrire, puis Screeningpass cherche son e-mail professionnel et prépare un message. Vous le relisez et l’envoyez vous-même avec Gmail. Une adresse e-mail n’est pas toujours disponible, et une réponse n’est jamais garantie.
Combien coûte la recherche d’un contact ?
Une recherche coûte 1 crédit. Le crédit vous est rendu si la recherche échoue. L’inscription offre 3 crédits, soit 3 recherches.
À quoi sert Screeningpass ?
Screeningpass rassemble des offres de stage, d’alternance et d’emploi publiées par les entreprises. Pour une offre, Screeningpass trouve une personne à contacter dans l’entreprise, cherche son e-mail professionnel et prépare un message à partir de votre CV. Voir le fonctionnement en détail.
D’autres offres chez NVIDIA
99 autres offres actuellement disponibles.
Vous développerez l’infrastructure de compilation pour la programmation GPU en Python, notamment avec CUTLASS CuTeDSL. Le poste couvre la conception de DSL et de dialectes MLIR, l’optimisation de kernels GPU ainsi que le profilage et la validation de leurs performances. Il s’adresse à une personne qui poursuit ou détient un diplôme en informatique ou dans une discipline technique connexe, avec des compétences en Python, C++ et programmation GPU.
Le poste développe les partenariats commerciaux de NVIDIA avec des éditeurs de logiciels indépendants et des partenaires cloud en EMEA. Il vise à intégrer les logiciels et frameworks NVIDIA aux offres partenaires et à accélérer leur adoption auprès des entreprises. La fonction coordonne les équipes commerciales, techniques et produit et suit le pipeline ainsi que les résultats d’adoption.
NVIDIA recherche un Technical Account Manager spécialisé en HPC et cloud pour accompagner ses clients entreprise. Le poste consiste à résoudre des problèmes techniques liés à l’installation, à l’exploitation et à la maintenance de technologies de centres de données, notamment en IA et HPC. La personne travaillera avec des équipes d’ingénierie, de marketing et de support, et contribuera à documenter les méthodes de résolution.
NVIDIA recherche un Senior Account Manager pour développer ses solutions d’IA et d’informatique accélérée auprès d’acteurs des marchés de capitaux en EMEA. Le poste consiste à gérer des comptes stratégiques, accroître l’adoption des plateformes NVIDIA et piloter la croissance des revenus. Une expérience de 12 ans ou plus dans la vente de solutions aux décideurs ainsi qu’un diplôme de niveau Bachelor sont demandés.
NVIDIA recherche un Solution Architect spécialisé en IA souveraine pour accompagner des clients publics au Royaume-Uni et en Europe. Le poste consiste notamment à concevoir et déployer des solutions d’IA, à soutenir des preuves de concept et à conseiller les équipes techniques des clients et partenaires. Une expérience d’au moins cinq ans, ainsi que la maîtrise de Python, PyTorch, Kubernetes et des conteneurs, sont demandées.
NVIDIA recherche un stagiaire en ingénierie logicielle au sein de son équipe de simulation physique à Zurich, pour contribuer au développement de fonctionnalités Newton et de workflows destinés à l’apprentissage robotique. Le stage de six mois, prévu en 2027, porte notamment sur la simulation numérique, la robotique, les expérimentations et le développement logiciel avec des outils comme PhysX, MuJoCo, Isaac Sim, Isaac Lab, Warp et CUDA.