Postdoctorant en Théorie des Types pour les Langages de Programmation Dynamiques H/F - CNRS

Description du Poste Les Missions Elixir est un langage de programmation fonctionnel dynamique et open-source conçu pour développer des applications scalables et maintenables. Ses caractéristiques lui ont valu une adoption croissante par des centaines d'acteurs industriels et des dizaines de milliers de développeurs.Le typage statique est aujourd'hui la demande prioritaire de la communauté Elixir et l'IRIF collabore avec l'équipe de développement d'Elixir pour la définition d'un système de types statiques.Dans le cadre du projet TME (Typing Modules for Elixir), financé par ValoCité Lab&Co, le/la postdoctorant(e) sera recruté(e) à l'IRIF pour étendre le système de types ensemblistes sémantiques déjà intégré dans Elixir, au système de modules du langage.Deux défis scientifiques majeurs sont visés :(1) l'intégration du typage graduel dans le système de modules, afin de permettre la coexistence de code typé et non-typé ;(2) l'intégration des types existentiels - nécessaires pour encoder les types abstraits et le masquage d'information - dans le cadre du sous-typage sémantique.Le/la postdoctorant(e) travaillera sous la supervision de Giuseppe Castagna (DR CNRS, IRIF), en collaboration étroite avec Guillaume Duboc (développeur du système de types actuel d'Elixir) et José Valim (créateur d'Elixir).Plus d'informations sur https://www.irif.fr/~gc/postdocElixirModules.en.html L'Activité - Développer les fondements théoriques du système de types pour les modules d'Elixir, en particulier : (1) l'intégration du typage graduel dans le système de modules, en adaptant les techniques existantes pour permettre la coexistence de modules typés et non-typés ; (2) l'intégration des types existentiels - utilisés pour encoder les types de données abstraits et le masquage d'information - dans le cadre du sous-typage sémantique.- Implémenter un prototype proof-of-concept du système de modules typé et l'intégrer progressivement dans les versions officielles du langage Elixir (en collaboration avec Guillaume Duboc et José Valim).- Réaliser des études de cas sur des projets Elixir majeurs (dont la codebase de Remote, 1M+ lignes de code) pour valider les performances et le taux de détection de bugs ; rédiger des publications scientifiques pour des conférences internationales de premier rang. Votre Profil Compétences - Solide formation en théorie des types et sémantique des langages de programmation- Expérience en recherche sur les langages de programmation fonctionnels ; intérêt pour les langages dynamiques et les systèmes de modules. La connaissance d'Elixir ou d'Erlang est un atout apprécié mais non requis.- Très bonne maîtrise de l'anglais scientifique (lu, écrit, parlé), indispensable pour collaborer avec José Valim et l'équipe de développement d'Elixir ; capacité à travailler dans un environnement académique-industriel international. Votre Environnement de Travail Le/la postdoctorant(e) sera basé(e) à l'IRIF (Bâtiment Sophie Germain, Université Paris Cité, Paris 13ème). Il/elle travaillera en équipe avec Guillaume Duboc et bénéficiera d'échanges réguliers avec José Valim (créateur d'Elixir, 1 jour/semaine en visioconference). Accès aux ressources informatiques de l'IRIF. Déplacements occasionnels pour conférences (financés par le projet).Contact : Giuseppe Castagna Contraintes et risques Aucune astreinte ni risque particulier. Rémunération et avantages Rémunération Selon grille CNRS (2 à 7 ans d'expérience post-doctorale) - A partir de 3131€ brut par mois Congés et RTT annuels 44 jours Pratique et Indemnisation du TT Pratique et indemnisation du TT Transport Prise en charge à 75% du coût et forfait mobilité durable jusqu'à 300€ À propos de l'offre Référence de l'offre UMR8243-LAUPIN-002 Section(s) CN / Domaine de recherche Sciences informatiques : fondements de l'informatique, calculs, algorithmes, représentations, exploitations Expérience souhaitée 1 à 4 années À propos du CNRS Le CNRS est un acteur majeur de la recherche fondamentale à une échelle mondiale. Le CNRS est le seul organisme français actif dans tous les domaines scientifiques. Sa position unique de multi-spécialiste lui permet d'associer les différentes disciplines pour affronter les défis les plus importants du monde contemporain, en lien avec les acteurs du changement. Le CNRS Les métiers de la recherche