A postdoctoral position is available in theoretical computer science with me at the University of Sydney on topics related to reactive synthesis, nondeterministic planning, and decision theory. The appointment is initially for 2 years, with the possibility of extension. The starting date is flexible, but expected around early 2027. The successful candidate will join the Sydney Algorithms and Computing Theory group working in foundational aspects of computer science (usyd-sact.github.io/). Application link: tinyurl.com/cmfe4s58 For informal enquiries, feel free to contact me at sasha.rubin@sydney.edu.au ********************************************************** * * 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/ * **********************************************************