[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Greetings,
The Department of Computer Science at University of Sheffield has an
open position of Lecturer or Senior Lecturer in Cybersecurity. Details
can be found here:
https://www.jobs.ac.uk/job/CFN168/lecturer-senior-lecturer-in-cybersecurity
Note that "formalisation and proof of system security properties" is
listed as a topic of interest. Women are particularly encouraged to apply.
All applicants will be given equal consideration.
Best wishes,
Andrei
