KTH Royal Institute of Technology

Doctoral student in integrated formal methods

Spara som favorit

Om arbetsgivaren

Since its founding in 1827, KTH Royal Institute of Technology in Stockholm has grown to become one of Europe’s leading technical and engineering un...

Besök arbetsgivarsidan

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

School of Electrical Engineering and Computer Science invites applications for one doctoral student position in the area of formal modelling of resource-constraint self-adaptive systems. The position is offered within the project SUCCESS -- Sustainable Cyber-Physical Software-Defined System Slicing (https://ebjornson.com/success/) recently funded by Swedish Foundation for Strategic Research.

The doctoral study aims at integrating formal specification methods, simulation, constraint solving and learning in a holistic multi-view modelling framework for developing sustainable and trustworthy future CPS. The framework should support the development of correct and efficient self-managing systems running over 6G networks and span development phase and run-time via continual learning.  Our goal is to develop a modular network-aware formal specification language that will allow us to express, learn and verify functional and resource-related characteristics of future CPS.

The doctoral student should be able to work on both – the theoretical foundations of the framework and its application.  The candidate should have a strong background in computer science including formal methods, mathematics  and have good programming skills.

Third-cycle subject: Computer Science

Supervision: Elena Troubitsyna and co-supervised by the SUCCESS project co-leaders.

What we offer

Admission requirements

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 second cycle degree (for example a master's degree), or
  • completed course requirements of at least 240 higher education credits, of which at least 60 second-cycle higher education credits, or
  • acquired, in some other way within or outside the country, substantially equivalent knowledge

In addition to the above, there is also a mandatory requirement for English equivalent to English B/6, read more here


In order to succeed as a doctoral student at KTH you need to be goal oriented and persevering in your work. During the selection process, candidates will be assessed upon their ability to:

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

A candidate should have a strong mathematical and computer science background and be willing to contribute to teaching, supervising students and serving to community (help to organize conferences and seminars, give presentations to industry, review scientific articles).  We are looking for a candidate who is goal-driven and hard-working. The candidate should have the ambitions and capabilities to write and publish research articles and produce research results of high-quality.

After the qualification requirements, great emphasis will be placed on personal competency. 

Target degree: Doctoral degree

Information regarding admission and employment

Only those admitted to postgraduate education may be employed as a doctoral student. The total length of employment may not be longer than what corresponds to full-time doctoral education in four years ' time. An employed doctoral student can, to a limited extent (maximum 20%), perform certain tasks within their role, e.g. training and administration. A new position as a doctoral student is for a maximum of one year, and then the employment may be renewed for a maximum of two years at a time.

Union representatives

Contact information KTH's website.

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

Contact information 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:

  • 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)
  • Copies of diplomas and grades from previous university studies and certificates of fulfilled language requirements (see above). Translations into English or Swedish if the original document is not issued in one of these languages. Copies of originals must be certified.
  • Representative publications or technical reports. For longer documents, please provide a summary (abstract) and a web link to the full text.

Other information

Striving towards gender equality, diversity and equal conditions is both a question of quality for KTH and a given part of our values.

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

We firmly decline all contact with staffing, 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: 1
Working hours: 100%
City: Stockholm
County: Stockholms län
Country: Sweden
Reference number: J-2022-1160
  1. Elena Troubitsyna Associate professor, elenatro@kth.se
  2. Lisa Olsson HR Officer, rekrytering@eecs.kth.se
Published: 2022-05-12
Last application date: 2022-08-15

Om tjänsten

Doctoral student in integrated formal methods
Brinellvägen 8 Stockholm, Sverige
Sista ansökningsdag
Spara som favorit

Fler jobb från den här arbetsgivaren

Om arbetsgivaren

Since its founding in 1827, KTH Royal Institute of Technology in Stockholm has grown to become one of Europe’s leading technical and engineering un...

Besök arbetsgivarsidan

Relevanta stories

The Importance of Being Eager KTH Royal Institute of Technology 4 min läsning
Getting a Clear Picture of the Kidney KTH Royal Institute of Technology 4 min läsning
Bacteria Could Produce the Fuel of the Future KTH Royal Institute of Technology 4 min läsning
Freedom to Move Increases Researcher Productivity Indiana University, Bloomington 4 min läsning
Fler stories