Postdoctorant(e) en théorie des types pour les langages de programmation dynamiques (h/f)

Vos missions en quelques mots 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 Activités : - 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. Contexte 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 Profil recherché Competences : - 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. Contraintes et risques : Aucune astreinte ni risque particulier. Niveau d'études minimum requis Niveau Niveau 8 Doctorat/diplômes équivalents Spécialisation Formations générales Langues Français Seuil