项目介绍

2025年5月8日

Third-cycle subject: Information and Communication Technology

We are seeking two fully funded doctoral students to join our WASP-funded project on “Automated Software Verification with Expert-Driven Reasoning”, focused on developing the next generation of AI-assisted programming tools, producing efficient, secure, and resilient software with limited or no human intervention. One of the two doctoral positions is reserved for the under-represented gender within WASP.

We encourage applicants to submit their application well before the deadline as we monitor constantly the incoming applications.

Wallenberg AI, Autonomous Systems and Software Program (WASP) is Sweden’s largest individual research program ever, a major national initiative for strategically motivated basic research, education and faculty recruitment. The program addresses research on artificial intelligence and autonomous systems acting in collaboration with humans, adapting to their environment through sensors, information and knowledge, and forming intelligent systems-of-systems. The vision of WASP is excellent research and competence in artificial intelligence, autonomous systems and software for the benefit of Swedish society and industry. Read more: https://wasp-sweden.org/

The graduate school within WASP is dedicated to provide the skills needed to analyze, develop, and contribute to the interdisciplinary area of artificial intelligence, autonomous systems and software. Through an ambitious program with research visits, partner universities, and visiting lecturers, the graduate school actively supports forming a strong multi-disciplinary and international professional network between PhD-students, researchers and industry. 

Supervision:  Main supervision byAssociate Professor Marco Chiesa and co-supervision by  Assistant Professor Hamed Nematiis proposed to supervise the doctoral student. Decisions are made on admission.

What we offer

• The possibility to study in a dynamic and international research environment in collaboration with industries and prominent universities from all over the world.
• A workplace with many employee benefits and monthly salary according to KTH’s Doctoral student salary agreement.
• A postgraduate education at an institution that is active and supportive in matters pertaining to working conditions, gender equality and diversity as well as study environment.
• Work and study in Stockholm, close to nature and the water.
• Guidance on relocating and settling in at KTH and in Sweden
• A strong group of internationally recognized researchers collaborating with industries. Read more about our group here and more about our previous research on AI-based software development here. We closely collaborate with the NSLab at KTH.

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

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.

Experience in machine learning, algorithmic theory, or code verification is a plus.

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. 

Union representatives

Contact information forunion representatives.

Doctoral section (Students’ union on KTH Royal Institute of Technology)

Contact information fordoctoral section.

To apply for the position

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 following elements:

• CV including your relevant professional experience and knowledge.
• 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.

Other information

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.

It may be the case that a position at KTH is classified as a security-sensitive role in accordance with the Protective Security Act (2018:585). If this applies to the specific position, a security clearance will be conducted for the applicant in accordance with the same law with the applicant’s consent. In such cases, a prerequisite for employment is that the applicant is approved following the security clearance.