Postdoctorant(e) en théorie des types pour les langages de programmation dynamiques (H/F)
Référence : UMR8243-LAUPIN-001
- Fonction publique : Fonction publique de l'État
- Employeur : Centre national de la recherche scientifique (CNRS)
- Localisation : 75205 PARIS 13 (France)
Partager la page
Veuillez pour partager sur Facebook, Twitter et LinkedIn.
- Nature de l’emploi Emploi ouvert uniquement aux contractuels
-
Nature du contrat
CDD d'1 an
- Expérience souhaitée Non renseigné
-
Rémunération Fourchette indicative pour les contractuels Selon grille CNRS (2 à 7 ans d’expérience post-doctorale) – A partir de 3131€ brut par mois € brut/an Fourchette indicative pour les fonctionnaires Non renseignée
- Catégorie Catégorie A (cadre)
- Management Non renseigné
- Télétravail possible Non renseigné
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
Qui sommes-nous ?
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érieur, de la Recherche et de l’Innovation.
C’est l’une des plus importantes institutions publiques au monde : 33 000 femmes et hommes (dont plus de 16 000 chercheurs et plus de 16 000 ingénieurs et techniciens), 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, le CNRS développe des recherches pluri et interdisciplinaires sur tout le territoire national, en Europe et à l’international. Le lien étroit entre ses missions de recherche et le transfert vers la société fait du CNRS un acteur clé de l’innovation en France et dans le monde.
Le partenariat qui lie le CNRS avec les entreprises est le socle de sa politique de valorisation et les start-ups issues de ses laboratoires témoignent du potentiel économique de ses travaux de recherche.
À propos de l'offre
-
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.
-
Vacant
-
Chercheuse / Chercheur
