This advert is not available!
School of Electrical Engineering and Computer Science invites applications for one doctoral student position in the area of integrated development and verification of safety-critical autonomous systems-of-systems. The goal of the project is to develop a model-based integrated framework that supports multi-view analysis of the behavior of autonomous systems-of-systems. It should integrate formal modelling, verification, simulation and machine learning to specify and analyse the requirements and architectures of complex autonomous systems. Our goal is to augment formal languages with capabilities to model behavior of AI-enabled systems and provide support for the simulation-in-the-loop modelling. We will also study how different aspects of self-adaptive behavior can be formalised to specify and verify the safety-enforcing architecture of autonomous systems. Finally, we will experiment with enhancing AI by formal specifications.
We aim at building a digital twin that would allow us to study different scenarios using simulation, analyse various architectural solutions and verify their properties as well as create safety monitors and decision-making components allowing the system to learn safe behavior and adapt at run-time.
Third-cycle subject: Computer Science
Supervision: Prof. Elena Troubitsyna
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:
In addition to the above, there is also a mandatory requirement for English equivalent to English B/6, read more
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 on their ability to:
A candidate should have a strong mathematical and computer science background including formal methods and be willing to contribute to teaching, supervising students and serving to community (help to organise conferences and seminars, give presentations to industry and review scientific articles).
Candidates must be goal-driven and hard-working. The candidate should have ambitions and capability 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
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. In the case of studies that are to be completed with a licentiate degree, the total period of employment may not be longer than what corresponds to full-time doctoral education for two years.
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/Central European Summer Time).
Applications must include:
The position may include security-sensitive activities. To become authorized, you therefore need to pass a possible security check.
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 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 |
---|---|
Contract type | Full time |
First day of employment | As soon as possible, according to agreement |
Salary | Monthly salary according to KTH's doctoral student salary agreement |
Number of positions | 1 |
Full-time equivalent | 100% |
City | Stockholm |
County | Stockholms län |
Country | Sweden |
Reference number | J-2024-0350 |
Contact |
|
Published | 08.Feb.2024 |
Last application date | 01.Mar.2024 11:59 PM CET |