[Agda] two proof-assistant friendly posts of Lecturer in Cybersecurity at University of Sheffield: deadline 3rd December 2020
Andrei Popescu
andrei.h.popescu at gmail.com
Fri Nov 20 14:19:57 CET 2020
Greetings,
University of Sheffield has opened two posts of Lecturer in
Cybersecurity. Details can be found here:
https://www.jobs.ac.uk/job/CCG201/lecturer-in-cybersecurity-two-posts
Please note that "formalisation and proof of system security
properties" is listed first under "suitable areas".
Best wishes,
Andrei
More information about the Agda
mailing list