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 or Information and Communication Technology
Recently, in a very tough competition, KTH was awarded a new Swedish competence center on Trustworthy Edge Computing Systems and Applications (TECoSA). The focus is on challenges related to safety, security, and predictability.
This announcement calls for PhD students in the area of safe edge computing applications. Edge computing opens an opportunity for real-time processing of large amounts of data and real-time decision making in a wide range of systems including human-in-the-loop system and systems relying on machine learning.
We look for (up to) three students interested in one or more of the following areas:
- Safe human-machine interaction (supervised by Iolanda Leite at RPL): The student shall explore the relationship between safety and system usability in safety-critical contexts that include interaction with humans. Safe systems may not be necessarily be perceived as safe, whereas unsafe systems might be perceived as such, depending on the type, form, and structure of the feedback provided to the user. Understanding these tradeoffs is vital to good system design and acceptance.
- Safe reinforcement learning (supervised by Jana Tumova at RPL): Reinforcement learning is a promising approach to decision making. However, ensuring safe exploration is a challenging problem. The student shall tackle this problem by utilizing probabilistic verification-based techniques to supress decisions potentially leading to provable and/or perceived unsafety.
- Domain-specific probabilistic programming (supervised by David Broman at SCS): The student will investigate and develop new semantic constructs for domain-specific probabilistic programming languages, especially targeted for safe computing in the edge. In particular, focus will be on programming language semantics and probabilistic machine learning.
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:
The applicants are expected to be open-minded towards interdisciplinary research.
In order to succeed as an doctoral student at KTH you need to be goal oriented and persevering in your work. In the selection of the applicants, the following will be assessed:
After the qualification requirements, great emphasis will be placed on personal qualities and personal suitability.
Target degree: Doctoral degree
Information regarding admission and employment
Only those who are or have been admitted to third-cycle studies may be employed as a doctoral student. The term of the initial contract may not exceed one year and may there after be extended. Doctoral students may engage in teaching, research, and administration corresponding to a maximum of 20 % of a full-time position.
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:
Gender equality, diversity and zero tolerance against discrimination and harassment are important aspects of KTH's work with quality as well as core values in our organization.
For information about processing of personal data in the recruitment process please read here.
We firmly decline all contact with staffing and 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 longer than 6 months
|Titel||Doctoral student in Safe machine learning for human-in-the-loop systems|
|Employer||KTH Royal Institute of Technology|
|Job location||Valhallavägen 79, 100 44 Stockholm|
|Publicerad||oktober 17, 2019|
|Sista ansökningsdatum||november 15, 2019|
|Ämnen||Informationsvetenskap,   Datorkommunikation (nätverk),   Människa-datorinteraktion,   Programmeringsspråk,   Sannolikhetsteori,   Maskininlärning  |