[finite-model-theory] Permanent positions at University of Birmingham