[finite-model-theory] post-doc position in Cambridge