Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] two proof-assistant friendly posts of Lecturer...


view this post on Zulip Email Gateway (Nov 20 2020 at 13:11):

From: Andrei Popescu <andrei.h.popescu@gmail.com>
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


Last updated: Sep 28 2021 at 20:18 UTC