[finite-model-theory] Postdoc position and Ph.D. position @ King's College London