As part of a new defense-funded research centre, KTH Royal Institute of Technology has openings for up to 8 PhD student positions in the general area of cyber security, including (but not restricted to) topics such as provable security, secure systems architecture and design, language based security, verified system software, low level modelling, security testing, software synthesis, and information flow control.
KTH and Stockholm offers PhD students excellent living conditions and salary. The positions are for four years full time study, or for five years with 20% employment as teaching assistant, affiliated with the Division of Theoretical Computer Science, www.kth.se/tcs. Full announcement: https://www.kth.se/en/om/work-at-kth/lediga-jobb/what:job/jobID:274121/ Deadline: 7 August See also related PhD student position in system security and formal methods here: https://www.kth.se/en/om/work-at-kth/lediga-jobb/what:job/jobID:275112/where:4/ Deadline: 1 August Contacts: - Prof. Mads Dam, m...@kth.se, https://www.kth.se/profile/mfd - Assoc. prof. Cyrille Artho, ar...@kth.se, https://people.kth.se/~artho/ - Assist. prof. Roberto Guanciale, rober...@kth.se, http://www.csc.kth.se/~robertog/ - Assist. prof. Musard Balliu, mus...@kth.se, https://www.csc.kth.se/~musard/ _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
