Doctoral Student in Software Engineering – AI for Code and Formal Verification KTH Royal Institute of Technology in Sweden

KTH Royal Institute of Technology invites applications for a doctoral student position in Software Engineering, focusing on the research project “AI for Code.” This project explores the intersection of artificial intelligence, formal verification, and software engineering, aiming to develop AI-driven methods for generating and verifying formal guarantees for smart contract programs. The research will involve leveraging neural networks to guide formal methods, such as automated theorem proving, by processing program representations and producing candidate invariants, specifications, or proofs. The overarching goal is to advance the feasibility and applicability of AI in ensuring program correctness, with a particular emphasis on smart contracts.

The successful candidate will join a dynamic group of researchers at KTH, working on cutting-edge topics in formal methods, machine learning, and software engineering. The position is supervised by Professor Martin Monperrus, a leading expert in the field. The working language is English, and the candidate is expected to publish research in top conferences and journals. The position offers a creative and supportive environment, with access to excellent facilities and a vibrant academic community.

Eligibility and Requirements: Applicants must hold a second cycle degree (such as a master’s degree) or have completed at least 240 higher education credits (with at least 60 at the second-cycle level), or possess equivalent qualifications. Proficiency in English equivalent to English B/6 is required. Candidates should demonstrate a strong background in computer science and expertise in formal methods, smart contracts, and machine learning. Selection will emphasize the ability to work independently, collaborate effectively, maintain a professional approach, and tackle complex issues. Personal skills are highly valued in the selection process.

Funding and Employment: The position is a full-time, temporary employment for up to four years, with a monthly salary according to KTH’s Doctoral student salary agreement. The role includes employee benefits and the possibility to engage in training and administrative tasks up to 20% of the time. The position is based in Stockholm, Sweden, at KTH’s main campus.

Application Process: Applications must be submitted through KTH’s recruitment system by March 21, 2026. Required documents include certified copies of diplomas and grades, proof of language proficiency, a CV, an application letter outlining research interests and goals, and representative publications or technical reports. All documents must be in English or Swedish, with certified translations if necessary.

KTH is committed to equality, diversity, and providing a supportive environment for all employees. Join a leading international technical university and contribute to shaping the future of education, research, and innovation in a sustainable society.