[finite-model-theory] postdoc at King's College London