Vacant job

Job Description

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 that we have not written ourselves? Formal verification offers a path to mathematically guaranteed correctness, but combining it with AI-based code generation raises deep and largely unresolved challenges.

As a postdoctoral researcher, you will tackle this very question: how we can generate code with AI and formally verify that it does what it is supposed to do. 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 collaboration project between KTH, Saab, Nvidia, Ericsson, Red Hat, CanaryBit, and RISE, building the next generation of secure and reliable AI for critical areas such as telecommunications, defense, and cloud computing. You will become part of the research group Machine-Intelligence for Networks and Distributed Systems (MINDS) at the Department of Data and Learning Systems, 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 lab equipped with NVIDIA H100 and A100 GPUs, as well as ten NVIDIA RTX Pro 6000 GPUs.

Qualifications

Requirements

• A completed PhD degree or a foreign degree assessed as equivalent to a PhD. This eligibility requirement must be met no later than 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 a particular focus on gender equality.

Qualifications

• At the last day of application, no more than three years have passed since the PhD degree or a foreign degree assessed as equivalent to a PhD was awarded.
• Expertise in formal verification.
• Expertise in AI.

We will place great emphasis on personal qualities.

Join 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. Gender equality, diversity, and equal opportunities are a quality issue and a clear part of KTH's values as a university and public authority.

Read more about our benefits and what it is like to work and develop at KTH.

Union Representatives

Contact details for union representatives.

Application

You apply via KTH's recruitment system. As an applicant, you are primarily responsible for ensuring your application is complete when submitted.

The application should include:

• CV including relevant professional experience and knowledge.
• Cover letter, including your expected date of PhD graduation (defense).
• Copy of degree certificate and transcripts from your previous university studies. Translations into English or Swedish if the original documents are not issued in either of these languages.
• Brief statement on why you wish to conduct research, your academic interests, and how they relate to your previous studies and future goals. Max 2 pages long.

The application must be received by KTH no later than the last day of application by midnight, CET/CEST (Central European Time/Central European Summer Time).

About the Position

The employment is permanent, but for a maximum of two years.

A postdoctoral position is a time-limited merit-based appointment with a main focus on research, intended as a first career step after the PhD.

Other

For information on the processing of personal data in connection with recruitment.

It may occur that a position at KTH is classified in a security class. If this is the case for this specific position, a security clearance check will be conducted on the applicant in accordance with the Security Protection Act (2018:585) with consent. In these cases, a prerequisite for employment is that the applicant is approved after the security clearance check.

We decline direct contact with staffing and recruitment agencies as well as sellers of job advertisements.