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 Position in Quantum Software Testing (Siegen/Germany)
The group of model-based engineering in the Computer Science
Department at the University of Siegen (Germany) is offering a PhD
position in quantum software engineering, focusing on the development of
novel testing techniques for quantum software.
The position is part of the project entitled “Optimized Quantum
Software Testing using Functional Property Specifications and Quantum
State Verification Techniques” funded by the German Research Foundation
(DFG). The project is a collaboration with Otfried Gühne (Theoretical
Quantum Optics, University of Siegen) and is part of the upcoming
priority program 2514 on Quantum Software, Algorithms and Systems. Read
more about the priority program here:
https://www.spp2514.kit.edu/english/index.php
The research goals of the project include:
-
Behavioral property specification for testing quantum programs,
-
Efficient and effective testing techniques for quantum programs,
-
Quantum state verification techniques for testing quantum programs,
-
Handling noise in quantum program testing
Applicants are expected to have:
-
M. Sc. with very good grade in computer science, physics, mathematics or
something equivalent,
-
Very good verbal and written communication skills,
-
Very good programming skills, preferably in Java or Python
To apply for the position, please send a motivation letter (max. 1
page) and a CV to malte.lochau@uni-siegen.de, deadline: July, 31st. For
further information, see also https://mbe.informatik.uni-siegen.de .
