[finite-model-theory] Lecturer or Senior Lecturer in Algorithms at the University of