Doctoral student in formal modelling for trustworthy AI Full-time NEW

Doctoral Student In Formal Modelling For Trustworthy AI

KTH Royal Institute of Technology, School of Electrical Engineering and Computer Science invites applications for one doctoral student position in the area of formal modelling for trustworthy AI.

The goal of the project is to develop a model-based integrated framework that supports the specification, analysis, and runtime assurance of autonomous safety-critical systems. The framework will combine formal modelling and AI to analyse requirements and architectures of heterogeneous systems operating under uncertainty and synthesize safe and reliable system architecture.

A central focus is on the development of trustworthy AI components that can be safely integrated into safety-critical systems. In particular, the project will investigate how formally specified safety constraints and runtime assurance mechanisms can be derived using AI, formally verified and integrated into the design of autonomous systems with AI-based components.

The doctoral student will work on both the theoretical foundations of the framework and its application to realistic case studies. The candidate should have a strong background in computer science, including formal methods and mathematics, as well as an interest in AI and safety-critical systems. Good programming skills are required.

Supervision: Prof. Elena Troubitsyna is proposed to supervise the doctoral student. Decisions are made on admission.

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
• the previous studies should be in the area of computer science or computer engineering

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

Selection

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
• analyze and work with complex issues.

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

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.

As a doctoral student, you are entitled to a workplace with many employee benefits and monthly salary according to KTH's Doctoral student salary agreement.