Assistant Professor in Formal Methods (0.8-1.0 FTE), and
Assistant Professor in Computer Science (0.8-1.0 FTE)
For details, see the following advertisements:
https://www.universiteitleiden.nl/en/vacancies/2025/q1/15460-assistant-professor-in-formal-methods-0.8-1.0-fte
https://careers.universiteitleiden.nl/job/Leiden-Assistant-Professor-in-Computer-Science-%280_8-1_0-FTE%29/1168484101/
**********************************************************
*
* 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
