[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