Logic List Mailing Archive

CfA: Postdoc opportunities in quantum computation and information, ENS Paris-Saclay & Inria (France)

The Quantum Computation Structures (QuaCS) team of the Laboratoire Mthod
es Formelles (LMF), part of Universit Paris-Saclay, ENS Paris-Saclay, an
d 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 i
nitiative.

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

Pablo Arnault
Pablo Arrighi
Marc Baboulin
Marc De Visme
Benot Valiron
Renaud Vilmart
Vladimir Zamdzhiev
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php