[finite-model-theory] Faculty positions at the University of Sydney