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 research project on secure and verifiable distributed quantum compilation
The project aims to optimally allocate available quantum and classical resources a developer needs for a specific algorithm, by breaking larger circuits into smaller pieces that are distributed to different quantum processing units in parallel, with few quantum connectives between them, and then recombining the results.
You will be supervised by Dr. Chris Heunen, pioneer of standard algorithms to distribute quantum circuits, and Prof. Elham Kashefi, pioneer of verifiable secure (distributed) measurement-based computation and NQCC Chief Scientist, with input from Dr. Marc Kaplan President of VeriQloud, a start up commercialising such solutions. You will be part of the Quantum Software Lab and the Quantum Informatics group at the University of Edinburgh.
As well as foundational science research, you will have the opportunity to work with VeriQloud and interact with other quantum computing companies through the National Quantum Computing Centre and the UK Quantum Technology Hub in Computing and Simulation.
Ideally you'll have some experience in quantum informatics, concurrent computation, formal methods, rewriting systems, and/or compilers, with a strong mathematical background.
We make efforts to provide an inclusive environment, welcome working with anyone, and especially encourage you to apply if you're a member of an underrepresented group. The position is funded by EPSRC through the UK Quantum Technology Hub in Computing and Simulation, and by VeriQloud, and provides 3.5 years fees and stipend for a UK student. For more information, get in touch with Chris Heunen ( chris.heunen@ed.ac.uk ) and Elham Kashefi ( ekashefi@exseed.ed.ac.uk ) .
Applications are welcome at https://www.ed.ac.uk/studying/postgraduate/degrees/index.php?r=site/view...
