[finite-model-theory] Several faculty openings in Sheffield (Teaching&Research / Teaching)

We are currently recruiting for the following positions within the Department of Computer Science; Lecturer in Verification (GD 8)  <https://www.jobs.ac.uk/job/CTU424/lecturer-in-verification>- Closing date 14th October University Teaching Associate <https://www.jobs.ac.uk/job/CTR351/university-teaching-associate> (GD 7) - Closing date 26th October University Teacher (GD 8)  <https://www.jobs.ac.uk/job/CTU991/university-teacher>- Closing date 28th October