Informations générales
Intitulé de l'offre : M/F Postdoc in the theory of quantum programming languages at IRIF (H/F)
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 : Between €3,131.32 and €4,756.76 gross monthly depending on experience
Niveau d'études souhaité : Doctorat
Expérience souhaitée : Indifférent
Section(s) CN : 02 - Sciences informatiques : fondements de l'informatique, calculs, algorithmes, représentations, exploitations
Missions
The Proofs & Programs team at IRIF (CNRS, Université Paris Cité) invites applications for a postdoctoral position on logical foundations and formal methods for quantum programming languages. Topics of interest (non-exhaustive) :
• Models of quantum computation (λ-calculi, term rewriting, graphical languages, process calculi)
• Quantum causal models
• Type systems for quantum languages
Activités
• Research within the Proofs & Programs team
• Participation in seminars and team discussions
• Supervision of interns, collaboration with PhD students
Compétences
• PhD in theoretical computer science (or related field)
• Ability to conduct independent research
• Experience in scientific writing and presentations
• Organizational and teamwork skills
• English C1 (or equivalent)
• Research experience in the theory of quantum programming languages
(expertise in topics listed above is an asset)
Contexte de travail
The team investigates logical foundations and formal methods for quantum programming languages leveraging on a strong expertise in linear logic, lambda calculus, type systems, and models for probabilistic programming languages.
Permanent members : 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.