Missions

L'équipe Preuves & Programmes de l'IRIF (CNRS, Université Paris-Cité) à Paris (France) invite les candidatures pour un poste de post-doctorat afin de travailler sur les fondements logiques et les méthodes formelles pour les langages de programmation quantiques.
Parmi les sujets d'intérêt possibles, mais non exclusifs, figurent les syntaxes graphiques, le typage, et la sémantique dénotationnelle.

Activités

- Recherche dans le cadre de l’équipe Preuves & Programmes
- Participation aux séminaires de recherche et aux discussions de groupe
- Encadrement de stagiaires, collaboration avec des doctorants

Compétences

Compétences: Doctorat en informatique théorique ou dans une discipline connexe. Mener un projet de recherche de façon indépendante. Rédiger des articles scientifiques et présenter ses travaux en séminaire. Compétences en matière d'organisation et de collaboration. Bonne compétences académiques en anglais (C1) -
Une expertise en informatique quantique et/ou en langages graphiques comme les diagrammes de cordes ou les réseaux de preuves est un avantage

Contexte de travail

L'équipe étudie les fondements logiques et les méthodes formelles pour les langages de programmation quantique, en s'appuyant sur une solide expertise en logique linéaire, lambda calcul, types quantitatifs, et modèles pour les langages de programmation probabilistes. L'équipe comprend comme membres permanents Alexis Saurin, Thomas Ehrhard, Claudia Faggian, Paul-André Melliès, Delia Kesner, Giovanni 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 intégration soit autorisée par l'autorité compétente du MESR.

Contraintes et risques

Pas de contraintes et pas de risques