[TYPES/announce] PhD positions in System Security and Formal Methods at KTH Royal Institute of Technology

[Mads Dam]

(* Apologies for duplicates *)

The TCS group at KTH Royal Institute of Technology has vacancies for two PhD students in System Security and Formal Methods.

(We also have vacancies for one or two postdocs, but these positions have not been announced yet. If you are interested contact Mads Dam, mfd at kth.se<mailto:mfd at kth.se> or Roberto Guanciale, robertog at kth.se<mailto:robertog at kth.se> for more information)

For the PhD positions we are looking for highly motivated students interested in building secure system components, constructing models at system and component (HW and SW) level, as well as building and using various types of automated and semi-automated tools for verification, analysis, and program synthesis.

Successful applicants will have a good background in topics like formal methods, program verification, computer architecture, computer security, operating systems, interactive theorem proving.

We offer a highly competitive salary, excellent living conditions, and an interesting environment in Stockholm with a rich cultural and entrepreneurial scene, according to many observers second only to Silicon Valley itself.

Application deadline: 28 October, 2018.

For details about the positions and the application procedure see:

https://www.kth.se/en/om/work-at-kth/lediga-jobb/what:job/jobID:225453/where:4/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180926/13148ca1/attachment.html>