[Agda] Lecturer in Verification position at University of Sheffield: deadline 29 March 2021

[Andrei Popescu]

Greetings,

The Department of Computer Science at University of Sheffield has an
open position of Lecturer in Verification. Details can be found here:

https://www.jobs.ac.uk/job/CEF438/lecturer-in-verification

Applicants doing research with and on proof assistants are most
welcome. Female applicants are particularly encouraged.

Best wishes,
Andrei