KTH Royal Institute of Technology

KTH Royal Institute of Technology in Stockholm has grown to become one of Europe’s leading technical and engineering universities, as well as a key centre of intellectual talent and innovation. We are Sweden’s largest technical research and learning institution and home to students, researchers and faculty from around the world. Our research and education covers a wide area including natural sciences and all branches of engineering, as well as architecture, industrial management, urban planning, history and philosophy.

Project description

Third-cycle subject: Computer Science

One of the major challenges within computer security is how to develop system software (operating system kernels, hypervisors, security monitors, device drivers, GUIs) that are secure, and preferably provably so, but at the same time capable of fully exploiting the performance capabilities of modern hardware. Recent, highly publicized vulnerabilities such as Spectre and Meltdown illustrate well the insecurities built into current hardware and system software architectures. Finding solutions to this is currently the subject of intense research at KTH and around the world. Our approach is to combine experimental work with formal modelling and verification to identify vulnerabilities and develop countermeasures and prototypes with provable security guarantees.

The positions are supported by TrustFull, www.kth.se/TrustFull, a new project on fullstack security funded by the Swedish Foundation for Strategic Research SSF. As such, there will be strong interactions with other PhD students and Professors at the intersection of software engineering and software security.TrustFull combines novel uses of software diversity and automated software repair with formal techniques at low level to develop new techniques for end-to-end security across the entire application stack from hardware to user level applications.

Within TrustFull we implement secure system components and build models and verification tools, mainly using semiautomated theorem proving in Higher Order Logic, HOL. The research group led by professor Mads Dam and assistant professor Roberto Guanciale combines deep interest in logic, mathematics, abstract modelling and formal proofs with a strong will to apply these methods to the design, development, testing, and verification of concrete system solutions.

A strong background in computer science in general, and some previous exposure to formal methods is essential for these positions. Pluses are previous experience with the use or development of verification tools, as well as familiarity with modern operating systems and processing hardware.

The work will take place at the Department of Theoretical Computer Science, www.kth.se/tcs where the TrustFull project is hosted. In addition to the positions advertised here, three more PhD students are currently announced, along with two postdoc positions, together with the senior staff forming the backbone of the TrustFull project team.

What we offer


To be admitted to postgraduate education (Chapter 7, 39 § Swedish Higher Education Ordinance), the applicant must have basic eligibility in accordance with either of the following:

  • passed a degree at advanced level,
  • completed course requirements of at least 240 higher education credits, of which at least 60 higher education credits at advanced level, or
  • in any other way acquired within or outside the country acquired essentially equivalent knowledge.


In order to succeed as an doctoral student at KTH you need to be goal oriented and persevering in your work. In the selection of the applicants, the following will be assessed:

  • ability to independently pursue his or hers work,
  • ability to collaborate with others,
  • have a professional approach and
  • analyse and work with complex issues.

Target degree: Doctoral degree

Information regarding admission and employment

Only those who are or have been admitted to third-cycle studies may be employed as a doctoral student. The term of the initial contract may not exceed one year and may thereafter be extended. Doctoral students may engage in teaching, research, and administration corresponding to a maximum of 20 % of a full-time position.

Union representatives

You will find contact information for union representatives on KTH's website.

Doctoral section (Students’ union on KTH Royal Institute of Technology)

You will find contact information for doctoral section on the section's website.


Apply for the position and admission through KTH's recruitment system. It is the applicant’s responsibility to ensure that the application is complete in accordance with the instructions in the advertisement.

Applications must be received at the last closing date at midnight, CET/CEST (Central European Time/entral European Summer Time).

Applications must include the following elements:

  • CV including your relevant professional experience and knowledge.
  • Application letter with a brief description of why you want to pursue research studies, about what your academic interests are and how they relate to your previous studies and future goals. (Maximum 2 pages long)
  • Copy of the degree certificate(s) and transcripts of records from your previously attended university-level institutions. Translations into English or Swedish if the original documents are not issued in one of these languages.
  • Representative publications or technical reports. For longer documents, please provide a summary (abstract) and a web link to the full text.


Gender equality, diversity and zero tolerance against discrimination and harassment are important aspects of KTH's work with quality as well as core values in our organization.

For information about Processing of personal data in the recruitment process please read here.

We firmly decline all contact with staffing and recruitment agencies and job ad salespersons.

Disclaimer: In case of discrepancy between the Swedish original and the English translation of the job announcement, the Swedish version takes precedence.

Type of employment Temporary position longer than 6 months
Contract type Full time
First day of employment According to agreement
Salary Monthly salary according to KTH's doctoral student salary agreement
Number of positions 2
Working hours 100%
City Stockholm
County Stockholms län
Country Sweden
Reference number J-2018-1872
  • Mads Dam, Professor /, mfd@kth.se, +46 8 790 62 29
  • Roberto Guanciale, Assistant Professor /, robertog@kth.se, +46 8 790 69 37
  • Ingela Somp/ HR officer, somp@kth.se
Published 13.Sep.2018
Last application date 28.Oct.2018 11:59 PM CET

Return to job vacancies