PhD student in Safety and Security of Mission-critical Systems

Linköping University


Exploring new fields, walking new paths. A non-traditional cooperation across subject andfaculty borders defines the interdisciplinary approach that is the hallmark of Linköping University(LiU). Founded as an independent college in 1970 today the university hosts over27000 students at undergraduate and masters levels and is among the top 300 universities in the Shanghai world universities ranking.  The Department of Computer and InformationScience is the first computer science department in Sweden, and today one of the largest computing departments in northern Europe employing 26 full professors covering a diverse range of research topics.

Read more at:


Hereby advertises 1-2 positions as PhD student in Safety and Security of Mission-critical Systems
formally based at the Department of Computer and Information Science, Real-time Systems Laboratory 

The Real-time Systems Laboratory (RTSLAB) is one of the four research units in the Software and Systems (SaS) Division at the Dept. of Computer and Information Science, Linköping University. It conducts research projects on distributed systems where security and dependability requirements are combined with resource-efficient algorithms. The lab is looking for two excellent PhD candidates in the following area.



Your project will result in enhanced tools and methods for analysis of dependability and resource efficiency in future autonomous systems. These systems have complex functionality and need to function in critical scenarios. They have requirements on reliability (correct functioning over time), safety, and security (especially availability and integrity in potentially hostile environments). Resources (computation capacity, memory, bandwidth, energy) need to be adequate to satisfy functional requirements in dynamic environments, but can also be part of the bigger picture where resource starvation, contentions, or attacks can manifest as threats to dependability. Complexity in the functional design is expected to be overcome by model-based development. The complexity of the systems is dealt with through separation of models for the application and models for the platforms. Convenience in changing both application models and platform models at an early concept development stage is a challenge. Where several actors are part of an application scenario, like smart manufacturing, smart energy distribution, or networked avionics systems, we also anticipate modelling of multiple agents to analyze their emerging behaviors.  

As a PhD student you will primarily devote yourself to your research, and are limited to work with education and administration up to 20 percent of full time.


These positions are open to candidates with an excellent background in computer science and engineering, with a strong interest in mathematical modelling and verification of system properties, and knowledge about real-time systems. Earlier experience with tools such as model checkers or constraint satisfaction engines is considered as a qualification. Also, earlier theses in topics related to attack modelling and failure analysis is beneficial. Since one project is defined in the context of a national aerospace program, where project meetings will take place in Swedish, knowledge of the Swedish language is also beneficial. 

Admission to PhD Studies in the research area of Computer Science requires a master’s degree, e.g. in computer science or engineering, that guarantees completion of courses of at least 60 ECTS in computer science, including an independent project of at least 15 ECTS. Out of these 60 ECTS, at least 30 ECTS should be at the master’s level.


The salary for PhD students is based on the department’s salary scale, currently 28.500SEK per month.

For more information and application procedure, please see


Professor Simin Nadjm-Tehrani, +46 (0)13 282411, +46 (0)702282412,

In your application, please refer to