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