Email Gateway (Mar 13 2021 at 01:23): Email Gateway (Mar 13 2021 at 01:23):From: Andrei Popescu <andrei.h.popescu@gmail.com>
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
Last updated: Jan 04 2025 at 20:18 UTC