[DMANET] 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
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************