Thursday, May 2, 2024

[DMANET] Multiple PhD positions in formal methods, machine learning and AI planning at Aalborg University

The Distributed, Embedded and Intelligent Systems (DEIS) group at
Aalborg University has a number of open PhD positions.

For more details on the individual projects, see the pages below.

- Distributed, Embedded and Intelligent Systems
https://www.vacancies.aau.dk/phd-positions/show-vacancy/vacancyId/1218862
Deadline: May 30

- Safe Machine Learning for Control
https://www.vacancies.aau.dk/phd-positions/show-vacancy/vacancyId/1218988
Deadline: June 3

- AI Planning
https://www.vacancies.aau.dk/phd-positions/show-vacancy/vacancyId/1218933
Deadline: June 6

Best regards,
Christian Schilling
christianms@cs.aau.dk
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************