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 <>

University of Sheffield has opened two posts of Lecturer in
Cybersecurity. Details can be found here:

Please note that "formalisation and proof of system security
properties" is listed first under "suitable areas".

Best wishes,

Last updated: Sep 28 2021 at 20:18 UTC