1 PhD Research Position in Trustworthy Embedded Platforms in Sweden | KTH - Royal Institute Of Technology

The recruitment is part of the creation of the new cross-departmental Center for Resilient Critical Infrastructures, CERCES, which is concerned with the security and resilience of industrial control and information systems. The center will focus on control systems, communication networks, wireless communication, and embedded software verification. In this call, we are looking for highly-qualified students that can contribute to the work on embedded software verification.

The student will join the Prosper team, a team of researchers led by Professor Mads Dam, with collaborators at the Swedish Institute of Computer Science. For examples on ongoing projects, go to prosper.sics.se and haspoc.sics.se. The present project focuses on the development of embedded software platforms, kernels, hypervisors, drivers, and applications with very high demands on security, safety, and trustworthiness, with particular focus on the critical infrastructure domain. We meet these demands through formal modelling and verification, by building models of processors, systems, and devices, by building theories and tools for low level verification, and by implementing and verifying software components of interest.

Qualifications:

The successful applicant is expected to hold or to be about to receive an MSc degree in Computer Science, Electrical Engineering, Engineering Physics, or similar. Specialization in one or more areas related to security, formal methods, computer systems, or a related area, and strong computing skills are assets.

The successful applicant should have an outstanding academic track record, and well developed analytical and problem solving skills. We are looking for a strongly motivated person, who is able to work independently. Good levels of cooperative and communicative abilities are important. Good command of English orally and in writing is required to publish and present results at international conferences and in international journals, and can be demonstrated through own written material (like: a masters thesis) and language proficiency tests such as TOEFL.