[finite-model-theory] Postdoc position @ King's College London