[isabelle] Open Position: Lecturer in Cybersecurity - University of Exeter

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

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:


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


Dr. Achim D. Brucker | Chair of Cybersecurity | University of Exeter
      https://www.brucker.ch | https://logicalhacking.com/blog
                    @adbrucker | @logicalhacking 

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.