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).
- Deprecated function: SelectQueryInterface::getArguments(): Implicitly marking parameter $queryPlaceholder as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
- Deprecated function: SelectQueryInterface::preExecute(): Implicitly marking parameter $query as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
- Deprecated function: SelectQueryExtender::getArguments(): Implicitly marking parameter $queryPlaceholder as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
- Deprecated function: SelectQueryExtender::preExecute(): Implicitly marking parameter $query as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
- Deprecated function: SelectQuery::getArguments(): Implicitly marking parameter $queryPlaceholder as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
- Deprecated function: SelectQuery::preExecute(): Implicitly marking parameter $query as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
Phd/Postdoc positions in quantum verification/crypto
Submitted by
Unruh on Tue, 26/03/2024 - 15:36.
At the Chair of Quantum Information Systems
(https://qis.rwth-aachen.de/) at RWTH Aachen, Germany, we have several
phd and postdoc positions available in the area of quantum formal
verification, quantum programs, quantum crypto, connected to the ERC
project "Certified Quantum Security"
(https://kodu.ut.ee/~unruh/cerqus/).
Supervisor would be Dominique Unruh.
In particular, there are the following topics, but we accept phd and
postdoc applications for other topics if they fit into the general
direction of our group.
- PhD position “Verification of Quantum Key Distribution”
(https://qis.rwth-aachen.de/positions/verify-qkd.html)
- PhD position “Functional quantum programs in F*”
(https://qis.rwth-aachen.de/positions/functional-quantum.html)
- PhD position “Certified quantum compilation”
(https://qis.rwth-aachen.de/positions/certified-compile.html)
All positions are fully funded (Germany salary class TV-L E13).
Application deadline is April 15, 2024; see the application
instructions for phd students
(https://qis.rwth-aachen.de/positions/phd-apply.html) or postdocs
(https://qis.rwth-aachen.de/positions/postdoc-apply.html).
