[finite-model-theory] Academic positions in Computer Science at the University of Sydney