[finite-model-theory] Postdoctoral fellowship in Oxford (All Souls College)