The Sydney Algorithms and Theory of Computing (SACT) group at the University of Sydney has a number of postdoctoral positions available (each for 2-3 years), in all areas of Theoretical Computer Science, with at least one focusing on streaming algorithms and another on planning and synthesis. Starting date flexible, but expected around mid- or late 2026.

Website: https://usyd-sact.github.io/
Email: clement.canonne@sydney.edu.au