[TYPES/announce] Open Position: Lecturer in Cybersecurity - University of Exeter
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 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=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/ -- Prof. Achim Brucker | Chair in Cybersecurity & Head of Group | University of Exeter https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking
[TYPES/announce] Open Position: Lecturer in Cybersecurity - University of Exeter
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 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=3817591jNg Feel free to contact me for informal inquires about the post. Best, Achim -- Dr. Achim D. Brucker | Chair of Cybersecurity | University of Exeter https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking
