Langages de programmation et compilation H/F

Description du Poste

Résumé du projet scientifique

Il y a un besoin toujours très important dans le développement, la conception et la sémantique des langages de programmation, qui fournissent des abstractions les plus adaptées possibles à leur contexte d’utilisation. Ceci est notamment utile pour la production de compilateurs et d'outils de vérification mécanisée. On peut par exemple penser à des langages de programmation comme Rust qui possède une gestion de la mémoire sûre mais néanmoins optimisée et qui peut ainsi viser des applications de la programmation système ou à des langages dédiés au parallélisme permettant de passer d'une spécification déterministe à un code embarqué cible pouvant s'exécuter sur des architectures parallèles (multi-cœurs). Dans la plupart des cas, ces abstractions sont obtenues grâce à la conception de nouveaux systèmes de types, dont les propriétés sont prouvées et leur exploitation nécessite le développement de techniques modernes de compilation et de vérification qui permettent d’obtenir un code sûr et efficace. Ces thématiques de recherche sont activement développées dans les communautés qui publient dans les conférences telles que POPL, PLDI, ICFP, OOPSLA ou ECOOP.

Résumé du projet d'enseignement

Les activités de la personne recrutée s’inscriront dans la dynamique des formations de l’université partenaire à travers ses programmes d’enseignement spécialisés dans le domaine des sciences et technologies.

Votre Profil

Profil Recherché

Titulaire d’un doctorat ou diplôme équivalent ou justifiant de titres et travaux scientifiques jugés équivalents par l’instance compétente de l’établissement. Il n’y a aucune condition d’âge ou de nationalité pour candidater. Tous les emplois CNRS sont accessibles aux personnes en situation de handicap en bénéficiant d’aménagement d’épreuves rendus nécessaires par la nature du handicap

Votre Environnement de Travail

Stratégie Internationale

Cette CPJ cible quatre laboratoires (DI ENS, LIP, LMF, Verimag), des unités très visibles dans le domaine de la programmation et de la compilation.
La stratégie de ces unités consiste à capitaliser sur cette CPJ pour se renforcer et élargir leur socle d'expertise.

Stratégie d'établissement

Le développement de langages de programmation plus robustes et mieux adaptés aux besoins spécifiques des différents domaines applicatifs constitue un enjeu scientifique majeur, à la fois fondamental pour l’informatique et transversal pour de nombreux défis sociétaux. Le CNRS, et plus particulièrement CNRS Sciences informatiques, souhaite renforcer son leadership national et international dans ce domaine.
Bien que les langages de programmation soient omniprésents dans les applications industrielles et académiques, leur conception et leur évolution reposent encore sur des avancées théoriques et pratiques. Une approche rigoureuse, tout en restant ancrée dans les besoins concrets des applications, permettra de faire le lien entre la théorie et la pratique, et de favoriser un transfert efficace des innovations vers le secteur industriel.

Stratégie du laboratoire d'accueil

Le CNRS accueille et recrute largement des chercheuses et chercheurs à l’international. Plus de 30% des personnes recrutées viennent de l’étranger. Ce recrutement aura cette même ambition.

Rémunération et avantages

Rémunération

Rémunération brute annuelle de 54600 Euros à 57800 Euros selon l’expérience professionnelle

Financement total

200k€

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€

Politique de recherche

Science ouverte

Le CNRS développe une politique forte en faveur de la science ouverte. La science ouverte consiste à rendre « accessibles autant que possible et fermés autant que nécessaire » les résultats de la recherche. À ce titre, le CNRS vise à ce que 100 % des textes des publications issues des travaux de ses unités soient rendues accessibles à tous, notamment grâce au dépôt dans HAL. Les données produites doivent aussi être rendues disponibles et réutilisables, sauf restriction particulière. Par ailleurs, les principes directeurs de l’évaluation individuelle sont revus en conformité avec la déclaration DORA, plus qualitatifs et tenant compte de toutes les facettes du métier de chercheur.

Science et société

La relation science-société est désormais reconnue comme une dimension à part entière de l'activité scientifique. Le projet développera cette dimension en synergie avec tous les partenaires. Les travaux de recherche qui en seront issus contribueront à éclairer la décision publique. Des initiatives de sciences participatives pourront être initiées avec des acteurs de l’écosystème socio-économique et culturel du projet

Diffusion scientifique

La diffusion des résultats passera par des avancées scientifiques de niveau mondial, qui peuvent se caractériser par des productions de tout type : publications, logiciels, brevets, livres… Par ailleurs, le projet mettra en œuvre une communication vers des cibles diverses telles que communautés scientifiques, médias, décideurs, grand public, scolaires, etc., avec un calendrier adapté. Des outils spécifiques pourront être développés comme des sites web, des newsletters ou encore des rencontres, colloques internationaux, écoles d’été et conférences.

À propos de l’offre

À 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