[Agda] Position of Lecturer or Senior Lecturer in Cybersecurity at University of Sheffield

Andrei Popescu andrei.h.popescu at gmail.com
Tue Apr 26 22:32:48 CEST 2022


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:


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,

More information about the Agda mailing list