[finite-model-theory] PhD positions at University of Glasgow in Programming Languages