Computer Science, Aalborg University, Denmark. The project works at the
intersection of formal methods and artificial intelligence.
The application deadline is February 20, 2024. The starting date is
negotiable (earliest May 1, 2024). See the following application link
for more details:
https://www.vacancies.aau.dk/phd-positions/show-vacancy/vacancyId/1217798
A 2-year postdoc position will also be available in the future. Please
contact me if you are interested.
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
