Logic List Mailing Archive

Three teaching positions in Computer Science, Sheffield (England), Deadlines: 14, 26, & 28 Oct 2022

We are currently recruiting for the following positions within the 

Department of Computer Science at Sheffield:

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 

[LOGIC] mailing list
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and
 Hamburg, and the ILLC at the Universiteit van Amsterdam