Error message
- Deprecated function: TYPO3\PharStreamWrapper\Manager::initialize(): Implicitly marking parameter $resolver as nullable is deprecated, the explicit nullable type must be used instead in include_once() (line 19 of includes/file.phar.inc).
- Deprecated function: TYPO3\PharStreamWrapper\Manager::initialize(): Implicitly marking parameter $collection as nullable is deprecated, the explicit nullable type must be used instead in include_once() (line 19 of includes/file.phar.inc).
- Deprecated function: TYPO3\PharStreamWrapper\Manager::__construct(): Implicitly marking parameter $resolver as nullable is deprecated, the explicit nullable type must be used instead in include_once() (line 19 of includes/file.phar.inc).
- Deprecated function: TYPO3\PharStreamWrapper\Manager::__construct(): Implicitly marking parameter $collection as nullable is deprecated, the explicit nullable type must be used instead in include_once() (line 19 of includes/file.phar.inc).
- Deprecated function: UpdateQuery::expression(): Implicitly marking parameter $arguments as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
- Deprecated function: MergeQuery::expression(): Implicitly marking parameter $arguments as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
Postdocs at U. Paris-Saclay
Submitted by
Pja35 on Tue, 11/04/2023 - 23:54.
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
