[finite-model-theory] Vacancy at Lancaster University (Leipzig campus), Deadline 18 April 2022