The Quantum Computation Structures team of the Laboratoire Méthodes Formelles (LMF), part of Université Paris-Saclay and Inria Saclay, is offering a number of postdocs.

The team focuses on models of quantum computing for the sake of
- Quantum simulation algorithms
- Quantum programming languages
- Foundations of Physics and Computer Science.