[ 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&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/

-- 
Prof. Achim Brucker | Chair in Cybersecurity & Head of Group | University of 
Exeter
           https://www.brucker.ch | https://logicalhacking.com/blog
                         @adbrucker | @logicalhacking

Reply via email to