General information
Offer title : [M/F] Postdoc in the theory of quantum programming languages at IRIF (H/F)
Reference : UMR8243-JEMSAM0-010
Number of position : 1
Workplace : PARIS 13
Date of publication : 04 October 2024
Type of Contract : FTC Scientist
Contract Period : 12 months
Expected date of employment : 1 January 2025
Proportion of work : Full time
Remuneration : from €3080 Gross
Desired level of education : Niveau 8 - (Doctorat)
Experience required : Indifferent
Section(s) CN : Information sciences: bases of information technology, calculations, algorithms, representations, uses
Missions
The Proofs & Programmes team at IRIF (CNRS, Université Paris-Cité) in Paris (France) is inviting applications for a post-doctoral position to work on logical foundations and formal methods for quantum programming languages.
Possible but not exclusives topics of interest include graphical syntaxes, typing and, and denotational semantics.
Activities
- Research as part of the Proofs & Programmes team
- Participation to research seminars and group discussions
- Supervision of trainees, collaboration with doctoral students
Skills
Competences: PhD in theoretical computer science or a related discipline. To conduct a research project independently. To write scientific papers and present work in seminars. Organizational and collaborative skills. Good academic English skills (C1)
Expertise in quantum computing and/or graphical languages such as string diagrams or proof nets is an advantage.
Work Context
The team investigates logical foundations and formal methods for quantum programming languages, leveraging on a strong expertise in linear logic, lambda calculus, quantitative types, and models for probabilistic programming languages. The team include as permanent members Alexis Saurin, Thomas Ehrhard, Claudia Faggian, Paul-André Melliès, Delia Kesner, Giovanni Bernardi.
The position is in a sector covered by the protection of scientific and technical potential (PPST), and therefore requires, in accordance with the regulations, that your employment is authorised by the competent authority (MESR).
Constraints and risks
No constraints, no risks