following positions are available:
- a fully funded 3-year PhD position
- a fully funded 2-year postdoc position
Both positions are associated with a project at the intersection of
formal methods and artificial intelligence.
The application deadline is March 2. The starting date is negotiable
(earliest May 1).
See the following application links for more details:
https://www.vacancies.aau.dk/phd-positions/show-vacancy/vacancyId/1219399
https://www.vacancies.aau.dk/scientific-positions/show-vacancy/vacancyId/1219406
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/
*
**********************************************************
Posts
