caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] Position of Lecturer or Senior Lecturer in Cybersecurity at University of Sheffield
@ 2021-05-19 19:27 Andrei Popescu
  0 siblings, 0 replies; 2+ messages in thread
From: Andrei Popescu @ 2021-05-19 19:27 UTC (permalink / raw)
  To: types-announce, ats-lang-users, caml-list, fstar-club

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

^ permalink raw reply	[flat|nested] 2+ messages in thread
* [Caml-list] Position of Lecturer or Senior Lecturer in Cybersecurity at University of Sheffield
@ 2022-04-26 20:34 Andrei Popescu
  0 siblings, 0 replies; 2+ messages in thread
From: Andrei Popescu @ 2022-04-26 20:34 UTC (permalink / raw)
  To: caml-list, cl-isabelle-users, coq-club, fstar-club

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

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2022-04-26 20:35 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-05-19 19:27 [Caml-list] Position of Lecturer or Senior Lecturer in Cybersecurity at University of Sheffield Andrei Popescu
2022-04-26 20:34 Andrei Popescu

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).