Postdoctoral Researcher in AI-Based Formally Verified Code Generation

Description:

Job Responsibilities AI is rapidly becoming the primary author of the world's software. Today's models generate code at a speed no human can match – but how can we trust code we haven't written ourselves? Formal verification offers a path to mathematically guaranteed correctness, but combining it with AI-based code generation raises deep and largely unsolved challenges. As a postdoctoral researcher, you tackle exactly this question: how we can generate code with AI and formally verify that it does what it should. The work combines modern AI/LLM-based code generation with formal methods to create software that is both fast to develop and provably reliable. The position is part of SAFIR (Secure AI for Intelligent Resilience and Confidentiality in the Cloud), a 2.5 million euro collaborative project between KTH, Saab, Nvidia, Ericsson, Red Hat, CanaryBit, and RISE, which builds the next generation of secure and trustworthy AI for critical domains such as telecommunications, defense, and cloud. You will join the Machine-Intelligence for Networks and Distributed Systems (MINDS) research group at the Department of Data Science and Artificial Intelligence, School of Electrical Engineering and Computer Science (EECS), in an international and dynamic environment with strong academic and industrial collaborations. You will have access to international supercomputing resources and a state-of-the-art laboratory equipped with NVIDIA H100 and A100 GPUs as well as ten NVIDIA RTX Pro 6000 GPUs. Qualifications Requirements Completed doctoral degree or foreign degree assessed as equivalent to a doctoral degree. This eligibility requirement must be fulfilled by the time the employment decision is made. The candidate has good ability to collaborate with other researchers. The candidate can perform their work with a high degree of independence. Awareness of diversity and equal treatment issues with particular focus on gender equality Merits At the application deadline, no more than three years since the doctoral degree or a foreign degree assessed as equivalent to a doctoral degree was awarded. Expertise in formal verification. Expertise in AI. We will place great emphasis on personal qualities. Become Part of KTH KTH shapes the future through education, research, and innovation. As a leading international technical university, we play an active role in driving and contributing to the transition to a sustainable society. Here you are offered the opportunity to grow and develop in a creative and dynamic workplace with good working conditions and benefits. Equality, diversity, and equal opportunities are a quality issue and an integral part of KTH's values as a university and state authority. Read more about our benefits and what it is like to work and develop at KTH. Trade Union Representatives Contact information for trade union representatives. Application You apply through KTH's recruitment system. As an applicant, you have the main responsibility for ensuring your application is complete when submitted. The application should include: CV including relevant work experience and knowledge. Covering letter, with your expected date for completing your doctorate (defense). Copy of degree certificate and grades from your previous university studies. Translations into English or Swedish if the original documents are not issued in one of these languages. Brief account of why you want to conduct research, your academic interests, and how they relate to your previous studies and future goals. Maximum 2 pages long. The application must be received by KTH no later than the application deadline at midnight, CET/CEST (Central European Time/Central European Summer Time). About the Position The position is permanent, but for a maximum of two years. A postdoctoral position is a time-limited merit-based appointment with a primary focus on research intended as a first career step after completing your doctorate. Other For information on how personal data is processed in connection with recruitment. It may be the case that a position at KTH is placed in a security class. If this is the case for this particular position, a security vetting of the applicant will be conducted in accordance with the Security Protection Act (2018:585) following consent. In these cases, a requirement for employment is that the applicant is approved following security vetting. We decline direct contact from staffing and recruitment firms as well as job announcement sales representatives.Job Responsibilities AI is rapidly becoming the primary author of the world's software. Today's models generate code at a speed no human can match – but how can we trust code we haven't written ourselves? Formal verification offers a path to mathematically guaranteed correctness, but combining it with AI-based code generation raises deep and largely unsolved challenges. As a postdoctoral researcher, you tackle exactly this question: how we can generate code with AI and formally verify that it does what it should. The work combines modern AI/LLM-based code generation with formal methods to…

Overview

Type

job

Status

active

Visibility

public

City

Stockholm

Address

Lindstedtsvägen 3

GPS

59.2877928, 18.0528391copyopen in

Email

Show email

Views

7

Published

6. 7. 2026

Edited

5. 8. 2026

Location

Specifications