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

Informations générales Organisme de rattachement CNRS Référence UMR8243-LAUPIN-001 Date de début de diffusion 16/03/2026 Date de parution 23/03/2026 Date de fin de diffusion 06/04/2026 Intitulé long de l'offre Postdoctorant(e) en théorie des types pour les langages de programmation dynamiques (H/F) Date limite de candidature 06/04/2026 Nature du contrat CDD d'1 an Versant Fonction Publique de l'Etat Catégorie Catégorie A (cadre) Nature de l'emploi Emploi ouvert uniquement aux contractuels Domaine / Métier Recherche - Chercheuse / Chercheur Statut du poste Vacant Intitulé du poste Postdoctorant(e) en théorie des types pour les langages de programmation dynamiques (H/F) Descriptif de l'employeur Le Centre national de la recherche scientifique est un organisme public de recherche pluridisciplinaire placé sous la tutelle du ministère de l’Enseignement supérieure et de la Recherche. Créé en 1939 et dirigé par des scientifiques, il a pour mission de faire progresser la connaissance et être utile à la société dans le respect des règles d’éthique, de déontologie et d’intégrité scientifique. Description du poste 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 Conditions particulières d'exercice Le Centre national de la recherche scientifique est l’une des plus importantes institutions publiques au monde : 34 000 femmes et hommes (plus de 1 000 laboratoires et 200 métiers), en partenariat avec les universités et les grandes écoles, y font progresser les connaissances en explorant le vivant, la matière, l’Univers et le fonctionnement des sociétés humaines. Depuis plus de 80 ans, y sont développées des recherches pluri et interdisciplinaires sur tout le territoire national, en Europe et à l’international. Le lien étroit que le CNRS tisse entre ses missions de recherche et le transfert vers la société fait de lui un acteur clé de l’innovation en France et dans le monde. Le partenariat qui le lie avec les entreprises est le socle de sa politique de valorisation et les start-ups issues de ses laboratoires (près de 100 chaque année) témoignent du potentiel économique de ses travaux de recherche. Descriptif du 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. Temps plein Oui Rémunération contractuels (en € brut/an) Selon grille CNRS (2 à 7 ans d’expérience post-doctorale) – A partir de 3131€ brut par mois Localisation du poste Europe, France, Île-de-France, Paris (75) Géolocalisation du poste PARIS 13 Lieu d'affectation (sans géolocalisation) 75205 PARIS 13 (France) Critères candidat Niveau d'études / Diplôme Niveau 8 Doctorat/diplômes équivalents Spécialisation Formations générales Langues Français (Seuil)