Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Open Position: Lecturer in Cybersecurity - Uni...


view this post on Zulip Email Gateway (Aug 22 2022 at 19:24):

From: "Achim D. Brucker" <brucker@spamfence.net>
Dear all,
As part of the recent expansion of the Department of Computer Science
(www.ex.ac.uk/computer-science/) at the University of Exeter, we are
recruiting for a new Lecturer in Cybersecurity. You will join a
growing department and will contribute to a new research focus in
cybersecurity.

This is a unique opportunity to join a new cybersecurity group as
founding member and to influence its future development.

Application in all areas of cybersecurity are welcome and we are
particularly encouraging people working in the intersection of
security and formal aspects (e.g., formal methods, verification, type
systems, programming languages, logic) to apply. Please apply by 4th
of April 2019! See the full announcement and apply here:

https://jobs.exeter.ac.uk/hrpr_webrecruitment/wrd/run/ETREC107GF.open?VACANCY_ID=458120OCP0&WVID=3817591jNg

Feel free to contact me for informal inquires about the post.

Best,
Achim

view this post on Zulip Email Gateway (Aug 22 2022 at 21:05):

From: "Achim D. Brucker" <brucker@spamfence.net>
Dear all,

As part of the expansion of the Department of Computer Science [1] at
the University of Exeter, we are recruiting for a Lecturer in
Cybersecurity. The lecturer will be part of the newly formed Security
and Trust of Advanced Systems Group [2]. This is a unique
opportunity to join a new group and to influence its future research
and teaching.

Application in all areas of cybersecurity are welcome, and we are
particularly encouraging people working in the intersection of
security and formal aspects of computer science (e.g., formal methods,
verification, type systems, programming languages, language-based
security, logic) to apply.

Please apply by 12th of December 2019! See the full announcement and
application details at

https://jobs.exeter.ac.uk/hrpr_webrecruitment/wrd/run/ETREC107GF.open?VACANCY_ID=566815Qrwu&WVID=3817591jNg

Feel free to contact me for informal inquires about the post.

Best,
Achim

[1] https://www.exeter.ac.uk/computer-science/
[2] https://emps.exeter.ac.uk/computer-science/research/cyber-security/


Last updated: Apr 25 2024 at 20:15 UTC