[finite-model-theory] Lecturer position in TCS (Logic and Algorithms), Sheffield (UK), Deadline: 16 Nov 2021