Position of Lecturer or Senior Lecturer in Cybersecurity at University of Sheffield
Andrei Popescu <[email protected]>
| Newsgroups | gmane.comp.lang.idris.general,gmane.comp.lang.haskell.cafe,gmane.comp.lang.haskell.general |
|---|---|
| Message-ID | <CAACfPHrCkgV2WpiHJMKdcTygyNXwKoCp8uWCEKoRZVWS3i_E0Q@mail.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 -- You received this message because you are subscribed to the Google Groups "Idris Programming Language" group. To unsubscribe from this group and stop receiving emails from it, send an email to idris-lang+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/[email protected] To view this discussion on the web visit https://groups.google.com/d/msgid/idris-lang/CAACfPHrCkgV2WpiHJMKdcTygyNXwKoCp8uWCEKoRZVWS3i_E0Q%40mail.gmail.com.