[finite-model-theory] 2 Lecturer Positions in Computer Science at Royal Holloway University