Présentation de la société : CNRS

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.

Missions

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.

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.

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.