En un coup d'œil
- Missions: Recherchez des optimisations de code avec des LLM pour améliorer les performances des simulations numériques.
- Entreprise: Laboratoire innovant IFPEN-Inria, axé sur la recherche et le développement.
- Avantages: Opportunités de carrière, environnement dynamique et collaboration avec des experts.
- Autres infos: Travail autonome avec des défis techniques variés dans un cadre collaboratif.
- Pourquoi ce job: Contribuez à des projets de pointe en HPC et faites une réelle différence dans la recherche.
- Qualifications: Expérience en techniques d'IA, HPC et évaluation des performances requise.
Le salaire estimé est compris entre 61650 - 75350 € par an.
Contexte
La simulation numérique est un outil stratégique, utile pour accélérer les découvertes et les innovations. La performance des simulateurs est donc d'une importance capitale pour permettre des études à haute résolution temporelle évolutives et considérer un plus large éventail d'hypothèses scientifiques. Les systèmes de calcul haute performance (HPC) offrent du parallélisme de multiples façons pour répondre à cette demande computationnelle : ils sont composés de nombreux nœuds, chacun avec plusieurs cœurs (qui peuvent être hétérogènes ou s'appuyer sur le multithreading simultané, SMT), utilisant la vectorisation SIMD (Single Instruction Multiple Data), avec des unités de traitement graphique (GPU) comme accélérateurs.
Les piles logicielles et matérielles présentent une gamme de leviers divers (ajustables, tels que le parallélisme des processus, SIMD, le mappage des threads et des données pour l'accès mémoire non uniforme, les tampons de rafale, la fréquence ou le préchargement) pour aligner les applications (sans modifications de code) avec les caractéristiques uniques du matériel sur lequel elles s'exécutent. Les récentes capacités de transformation de code des LLM, à condition qu'elles puissent être vérifiées, offrent également un levier pour ajuster les applications via des instructions décrivant les modifications de code à appliquer.
Bien que l'ajustement de ces leviers offre des gains, leur co-optimisation est essentielle car leurs comportements peuvent synergiser : la co-optimisation du mappage des threads et des données est plus efficace qu'une approche avide, où les threads et les données sont optimisés dans l'ordre (jusqu'à 1,7x d'accélération pour les utilisateurs de l'espace utilisateur). Une optimisation à grande échelle atteint en outre 1,8x d'accélération et 6x d'économies d'énergie, démontrant qu'il est d'une importance capitale pour la durabilité à exascale. Explorer de telles optimisations de paramètres est la tâche principale de ce poste postdoctoral : il s'appuie sur des méthodes statistiques/IA pour exploiter des motifs, transformer des codes et concentrer la recherche pour éviter les optima locaux.
Pour relever ce défi, nous comptons sur une collaboration en cours entre Inria TADaaM, IFPEN et LIP6 (Université Sorbonne). LIP6 apporte une expertise en transformation de code SIMD, Inria dans les flux de travail agentiques basés sur LLM pour les applications HPC, et IFPEN dans l'optimisation des performances à pleine échelle et les charges de travail de simulation représentatives du monde réel.
Mission
Ce travail vise à exprimer diverses transformations de code OpenMP et SIMD et à évaluer leur exactitude par rapport au code original. Nous nous appuierons sur des LLM (par exemple, llama, deepseek, queen coder) et un cadre agentique pour appliquer ces transformations de code. Nous commencerons par définir un ensemble de prompts pour appliquer des transformations simples de code source (par exemple, échange de boucle, déroulement, changement de structure). Ces transformations sont conditionnées par le LLM utilisé : deux LLM peuvent ne pas produire la même transformation sur le même code avec le même prompt. Nous explorerons les LLM existants et sélectionnerons des prompts parmi les transformations déjà explorées : OpenMP et SIMD. Ensuite, nous diversifierons les transformations en les complexifiant progressivement avec les codes cibles. Un point clé du travail proposé est la relation synergique avec les LLM : à mesure que leurs capacités croissent, ils permettent des transformations plus agressives et valides à travers divers bases de code. Cependant, les LLM seuls sont peu susceptibles de maximiser l'efficacité des performances, car leurs données d'entraînement reflètent un matériel moyen plutôt que des conditions spécifiques au système. Pour surmonter cela, nous améliorerons la caractérisation de chaque transformation avec son impact sur le reste de la pile grâce à CORHPEX. Enfin, nous proposons d'employer des méthodes de vérification SOTA (par exemple, checkpoint-restart CaRV, analyse symbolique alive) ainsi que des tests unitaires pour évaluer l'équivalence sémantique entre le programme original et le programme transformé par LLM.
Activités principales
- Construire un flux de travail de transformation de code SIMD de base avec des LLM.
- Construire une infrastructure pour évaluer leur équivalence sémantique par rapport au code original.
- Étendre le champ des codes et des transformations.
- Contextualiser l'impact de la transformation du code source par rapport au reste de la pile informatique.
Compétences
Le profil recherché pour ce poste est celui d'une personne qui communique bien en anglais et fait preuve d'initiative et d'autonomie pour mener à bien ce projet de recherche tout en relevant les divers défis techniques associés. La personne doit avoir de l'expérience dans les techniques d'IA, le HPC, l'autotuning, l'évaluation des performances et les méthodes statistiques.
Post-Doctoral Research Visit F/M - LLM, autotuning, SIMD - Joint IFPEN-Inria laboratory in Talence employeur : Inria Talence
Rejoindre Inria, c'est intégrer un institut à la pointe de l'innovation en IA, où la sécurité et la transparence sont au cœur de nos préoccupations. Nous offrons un environnement de travail collaboratif et dynamique, propice à l'épanouissement professionnel, avec des opportunités de développement continu et une culture axée sur l'excellence scientifique. Situé en France, vous aurez l'occasion de contribuer à des projets stratégiques tout en bénéficiant d'une approche inclusive et novatrice dans le domaine de l'évaluation des modèles d'IA.
Conseils d'expert StudySmarter🤫
Voici comment nous pensons que tu pourrais décrocher Post-Doctoral Research Visit F/M - LLM, autotuning, SIMD - Joint IFPEN-Inria laboratory in Talence
✨Connecte-toi avec des chercheurs et des professionnels
Les réseaux sociaux académiques comme ResearchGate ou Academia.edu sont parfaits pour établir des connexions. N'hésite pas à interagir avec des publications de chercheurs qui t'inspirent, ça pourrait mener à des opportunités au sein d'équipes de recherche comme celles de Inria Talence.
✨Participe à des conférences et des séminaires
Les événements académiques sont des occasions en or pour rencontrer des experts du domaine. Si tu as l'occasion de présenter ton travail, fais-le ! C'est une superbe façon de te faire remarquer et d’augmenter ta visibilité auprès de potentiels employeurs, notamment dans le secteur de la recherche scientifique.
✨Reste informé sur les nouvelles publications
Abonne-toi à des revues scientifiques qui publient des études dans ton domaine d'intérêt. La connaissance des dernières avancées te permettra non seulement de briller lors des entretiens, mais aussi de discuter des tendances qui intéressent Inria Talence.
✨Postule directement sur notre site web
N'oublie pas de consulter notre site pour les offres d'emploi chez Inria Talence. Souvent, des postes intéressants ne sont pas publiés ailleurs. Être proactif et t'inscrire dès que quelque chose d'intéressant apparaît peut vraiment faire la différence dans ta recherche.
Nous pensons qu'il te faut ces compétences pour exceller en tant que Post-Doctoral Research Visit F/M - LLM, autotuning, SIMD - Joint IFPEN-Inria laboratory in Talence
Quelques conseils pour ta candidature 🫡
Mets en avant tes compétences techniques:Dans le domaine de la recherche scientifique, on adore voir des compétences techniques précises. N’hésite pas à détailler tes expériences en laboratoire, les méthodologies que tu maîtrises et les outils analytiques que tu utilises. Des compétences en informatique comme la gestion de données ou la modélisation peuvent aussi faire la différence !
Valorise tes publications:Si tu as déjà publié des articles ou présenté des travaux lors de conférences, assure-toi de les mettre en avant ! Inclure des liens vers tes publications ou ton portfolio scientifique dans ton CV peut vraiment t'aider à te démarquer auprès de Inria Talence.
Sois clair sur tes motivations:Étant donné que c'est un poste à temps plein, explique pourquoi tu souhaites rejoindre Inria Talence en particulier et comment cela s'inscrit dans ton parcours. Montre que tu es passionné par la recherche et que tu as des idées sur comment contribuer aux projets en cours !
Format professionnel mais accessible:Dans ta candidature, utilise un format clair et accessible. Évite le jargon trop complexe mais n'hésite pas à montrer ta rigueur scientifique. Un bon équilibre entre professionnalisme et une approche compréhensible peut faire toute la différence pour Inria Talence.
Comment te préparer à un entretien d'embauche chez Inria Talence
✨Prépare ta littérature scientifique !
On doit être au top sur les dernières avancées dans ton domaine. Assure-toi de bien comprendre les articles récents publiés et sois prêt à discuter de leur impact lors de l'entretien, surtout ceux qui concernent Inria Talence.
✨Pratique les questions techniques
Les entretiens dans la recherche scientifique peuvent inclure des questions techniques et méthodologiques. Prépare-toi à expliquer tes méthodes de recherche précédentes et à discuter des outils que tu sais utiliser, comme les logiciels de modélisation ou d'analyse de données.
✨Mets en avant tes projets de recherche
Comme on cherche à savoir comment tu te démarques, prépare un portfolio qui présente tes projets scientifiques. Ça peut inclure des publications, des présentations à des conférences ou même des posters. Ça montre ta capacité à contribuer à Inria Talence dès le départ !
✨Montre ta passion pour l'innovation
Dans le monde de la recherche scientifique, l'innovation est essentielle. Prépare des exemples concrets où tu as eu des idées originales dans tes travaux. Parles-en avec enthousiasme pour vraiment convaincre les recruteurs que tu es la personne qu'il leur faut.
