[DMANET] Assistant Professor position at Aalborg University

The Department of Computer Science at Aalborg University in Denmark, and in particular the DEIS section for Distributed, Embedded and Intelligent Systems [1], are inviting applications for an Assistant Professor position, without and with tenure track. The position is available at the Aalborg campus and across any of the following research groups: - Automated System Verification and Validation - Distributed Sustainable Software and Systems - Formal Methods for Security and Privacy - Foundations for Interacting and Computing Systems - Probabilistic and Symbolic AI - Quantum Systems Analysis and Synthesis More information is available at the link below (deadline: August 1): https://www.vacancies.aau.dk/scientific-positions/show-vacancy/vacancyId/945480 Best regards, Christian Schilling christianms@cs.aau.dk [1] https://www.cs.aau.dk/research/distributed-embedded-intelligent-systems/ ********************************************************** * * 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/ * **********************************************************