Informations générales
Intitulé de l'offre : H/F Postdoc en théorie des langages de programmation quantiques à l'IRIF
Référence : UMR8243-SANMAR-007
Nombre de Postes : 1
Lieu de travail : PARIS 13
Date de publication : samedi 17 janvier 2026
Type de contrat : Chercheur en contrat CDD
Durée du contrat : 12 mois
Date d'embauche prévue : 1 mars 2026
Quotité de travail : Complet
Rémunération : Entre 3,131.32 € et 4 756,76 € bruts mensuels selon expérience
Niveau d'études souhaité : Doctorat
Expérience souhaitée : Indifférent
Section(s) CN : 01 - Interactions, particules, noyaux du laboratoire au cosmos
Missions
L’équipe Preuves & Programmes de l’IRIF (CNRS, Université Paris Cité) invite les candidatures pour un poste postdoctoral en fondements logiques et méthodes formelles pour les langages de programmation quantiques. Thématiques (non exhaustives) :
• Modèles de calcul quantique (λ-calculs, réécriture, langages graphiques, calculs de processus)
• Modèles causaux quantiques
• Systèmes de types quantiques
Activités
• Recherche au sein de l’équipe Preuves & Programmes
• Participation aux séminaires et discussions d’équipe
• Encadrement de stagiaires, collaboration avec doctorants
Compétences
• Doctorat en informatique théorique (ou domaine proche)
• Capacité à mener des recherches autonomes
• Expérience en rédaction et présentations scientifiques
• Compétences organisationnelles et travail en équipe
• Anglais C1 (ou équivalent)
• Expérience en théorie des langages des programmation quantiques (expertise sur les thématiques ci-dessus est un atout)
Contexte de travail
L’équipe étudie les fondements logiques et méthodes formelles des langages quantiques en s’appuyant sur une expertise reconnue en logique linéaire, λ-calcul, systèmes de types, et
sémantique des langages de programmation probabilistes.
Membres permanents : A. Saurin, T. Ehrhard, C. Faggian, P.-A. Melliès, D. Kesner, G. Bernardi.
Le poste se situe dans un secteur relevant de la protection du potentiel scientifique et technique (PPST), et nécessite donc, conformément à la réglementation, que votre arrivée soit autorisée par l'autorité compétente du MESR.