[TYPES/announce] Postdoc opportunities in quantum computation and information

[Vladimir Zamdzhiev]

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

The team focuses on models of quantum computing, related to:
- Quantum programming languages, type systems, and logic
- Foundations of Physics and Computer Science
- Quantum simulation algorithms and software
- Hybrid quantum-classical algorithms for high performance computing (HPC).

We study in particular:
- graphical calculi, formal methods for quantum language compilers /
  optimizers / checkers, including type systems and category theory
- quantum causal structures
- quantum cellular automata, lattice gauge theories, quantum graph
  rewriting
- quantum linear algebra algorithms and data structures.

We are involved in the QISS consortium and in the French national quantum
initiative.

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

Pablo Arnault
Pablo Arrighi
Marc Baboulin
Marc De Visme
Benoît Valiron
Renaud Vilmart
Vladimir Zamdzhiev