Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] KTH announces 8 PhD student positions in cyber...

Email Gateway (Aug 22 2022 at 20:17):

From: Roberto Guanciale <robertog@kth.se>
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, mfd@kth.se, https://www.kth.se/profile/mfd
• Assoc. prof. Cyrille Artho, artho@kth.se, https://people.kth.se/~artho/
• Assist. prof. Roberto Guanciale, robertog@kth.se, http://www.csc.kth.se/~robertog/
• Assist. prof. Musard Balliu, musard@kth.se, https://www.csc.kth.se/~musard/

Last updated: Apr 25 2024 at 04:18 UTC