Logic List Mailing Archive

CfA: 2 PhD position on of quantum computing, Aalborg (Denmark), deadline: Oct 10

The Computer Science Department of Aalborg University offers two
prestigious PhD scholarships in the field of quantum computing, funded
by DeiC and Villum Foundation.

The PhD projects propose to combine formal methods with machine learning
techniques to verify existent and synthesize novel quantum circuits.
Potential applications will include quantum chemistry and quantum
optimization.

The candidates should have a strong background in at least one of the
following areas: quantum computing, machine learning, formal methods.
Proficiency in Python is desired, ideally Qiskit or PyTorch/TensorFlow.

Applications should be submitted by the 10th of October:

https://www.vacancies.aau.dk/phd-positions/show-vacancy/vacancyId/1219217

Interested applicants are welcome to contact
Kim Guldstrand Larsen <kgl@cs.aau.dk>
Max Tschaikowski <tschaikowski@cs.aau.dk>
Christian Schilling <christianms@cs.aau.dk>

The selected candidates will be part of the internationally renowned
DEIS group, headed by Kim Guldstrand Larsen, holder of a Villum
Investigator Grant and former recipient of an ERC Advanced Grant.

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php