[finite-model-theory] Open Position: Lecturer in Computer Science (Exeter, Deadline 2020-04-08)