[finite-model-theory] Ph.D. position in Theoretical CS @ King's College London