Doctoral student in System Security and Formal Methods

Kungliga Tekniska högskolan, Skolan för elektroteknik och datavetenskap

Project description

Third-cycle subject: Computer Science

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

We are looking for a highly motivated student 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 and analysis.

Our project aims to develop techniques for analysing non-functional properties of complex systems and to design system software and kernels that support end-to-end predictable computing for several untrusted tenants. These goals will require to work in four dimensions:

1) extend existing execution platforms with support for strong timing isolation, enabling predictable performance of software components and preventing side-channels.

2) model processors and design binary analysis tools with support for concurrency.

3) design, implement, and verify new mechanisms to securely share peripherals among untrusted tenants.

4) implement a trustworthy 5G subsystem that provides network slicing, where two distrusting tenants share two hosts and compete for the same network resources. This system will be used demonstrate the effectiveness of the analyses techniques and software designs

This position is funded by WASP-AS, , which is a major national initiative for strategically motivated basic research, education and faculty recruitment in autonomous systems and software development. Within WASP-AS, our group is part of the Security for Autonomous Systems project cluster, which investigates security and privacy research challenges that arise from advances in autonomous systems.

What we offer

  • The possibility to study in a dynamic international research environment in close cooperation with industries and advanced universities the world over.
  • Life-long network through KTH's Alumni organization .
  • A personal study plan to support your development within your areas of interest.
  • A workplace with many employee benefits and monthly salary according to KTH's doctoral student salary agreement .
  • Work and study in Stockholm, one of Europe s fastest growing capitals, which is close to both nature and the sea.
  • Help to relocate and get settled in Sweden and at KTH .


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.

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

After the qualification requirements, great emphasis will be placed on personal qualities and personal suitability.

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.

Other information

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
Working hours: Full time
Salary: Monthly salary according to kth's doctoral student salary agreement
City: Stockholm
Reference number: J-2019-1534
Published: 2019-06-13
Last application date: 2019-08-01


Kungliga Tekniska högskolan




Schicken Sie mir die Anzeige

Andere Anzeigen des Arbeitgebers

Research engineer in AI Assisted Radio Network Resource Management

Kungliga Tekniska högskolan
Stockholm, Stockholms län Veröffentlicht: 2019-07-16

Postdoc in learning dynamical systems

Kungliga Tekniska högskolan
Stockholm, Stockholms län Veröffentlicht: 2019-07-08

Assistant Professor in Transport Systems Analysis

Kungliga Tekniska högskolan
Stockholm, Stockholms län Veröffentlicht: 2019-06-28

Post-doctoral researcher in Endovascular MEMS technologies

Kungliga Tekniska högskolan
Stockholm, Stockholms län Veröffentlicht: 2019-06-25

Postdoc in Earth Observation Big Data Analytics and Deep Learning

Kungliga Tekniska högskolan
Stockholm, Stockholms län Veröffentlicht: 2019-06-24

Doctoral student in applied and computational mathematics

Kungliga Tekniska högskolan
Stockholm, Stockholms län Veröffentlicht: 2019-06-13

Doctoral students in self-learning dynamical systems

Kungliga Tekniska högskolan
Stockholm, Stockholms län Veröffentlicht: 2019-06-13

Doctoral student in optical materials

Kungliga Tekniska högskolan
Stockholm, Stockholms län Veröffentlicht: 2019-06-13

Doctoral student in Cyber Defense and Information Security

Kungliga Tekniska högskolan
Stockholm, Stockholms län Veröffentlicht: 2019-06-13

Doctoral student in Transport Science

Kungliga Tekniska högskolan
Stockholm, Stockholms län Veröffentlicht: 2019-06-13