Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Position of Lecturer or Senior Lecturer in Cyb...

Email Gateway (May 19 2021 at 19:18):

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

Email Gateway (Apr 26 2022 at 20:35):

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

Last updated: Jan 04 2025 at 20:18 UTC