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.

We study :
- quantum cellular automata, lattice gauge theories, quantum graph rewriting
- graphical calculi, formal methods for quantum language compilers / optimisers / checkers, including type theory, category theory
- quantum causal structure, quantum reference frames.

We are part of the QISS consortium and the France 2030 PEPR French national strategy for quantum technologies.

In order to apply, please contact the permanent member of QuaCS that best suits your research interests :

Pablo Arnault
Pablo Arrighi
Esteban Castro Ruiz
Marc De Visme
Benoît Valiron
Renaud Vilmart
Vladimir Zamdzhiev