Job offer

CNRS

Paris, France

4 days ago

Role details

Contract type

Temporary contract

Employment type

Full-time (> 32 hours)

Working hours

Regular working hours

Languages

English

Job location

Paris, France

Tech stack

Information Technology

Programming Languages

Requirements

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)

Benefits & conditions

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
Research within the Proofs & Programs team
Participation in seminars and team discussions
Supervision of interns, collaboration with PhD students

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.