School of Electrical Engineering and Computer Science at KTH
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.
Third-cycle subject: Computer Science
The doctoral position is within a collaboration project between KTH and Scania, and addresses the need for functional safety of embedded vehicle software. The project relies on formal verification techniques, such as deductive software verification and model checking. The two main problems that the project aims to solve are the problem of connecting, in a formal way, requirements at different systems levels, and the problem of automating the verification process. The first problem will be addressed by the development of a formal framework and tool for hierarchical software architecture modelling that encompasses the given requirements. The second problem will be addressed by the development of automated techniques and tools that read architectural specifications and, from these, automatically generate models and logical specifications for back-end verification tools.
This is a five-year full-time employed position involving 20% teaching. We are looking for strong candidates with background in Computer Science, ideally in Formal Methods based on Mathematical Logic and Programming Language Semantics. Industrial experience, especially with embedded safety-critical software, would be an advantage.
Supervision: The doctoral student will be supervised by: Assoc. Prof. Dilian Gurov.
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 second cycle degree (for example a master’s degree),
- 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
Further, the candidate needs to have taken undergraduate courses in Discrete Mathematics and Mathematical Logic.
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.
- courses in Formal Methods and Programming in C, as well as experience with the development and quality assurance of embedded safety-critical software are a clear asset.
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.
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)
- 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.