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.