A postdoctoral position is available in theoretical computer science with Sasha Rubin at the University of Sydney on topics related to planning and reactive synthesis, funded by the ARC project "Logic based planning under ignorance". Within this broad topic, the project has scope to adapt to the candidate's interests. 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
Application deadline: 18 June 2026 11:59 PM (GMT+10).
Contact: sasha.rubin@sydney.edu.au