Postdoc: AI-Driven Formal Verification for Code

KTH Royal Institute of Technology; Stockholms kommun; On-site; SEK 420,000 - 540,000; Full time

Job summary

KTH Royal Institute of Technology invites applications for a postdoctoral researcher in AI-based formally verified code generation. The project is part of SAFIR, a EUR 2.5M collaboration with industry and research partners, aiming to combine AI-driven code generation with formal verification for trustworthy software.

You will join the MINDS group in the Department of Computing and Learning Systems within EECS, work in an international, dynamic environment, and have access to advanced

Qualifications

• Doctoral degree or equivalent foreign degree.
• Ability to collaborate with other researchers.
• Ability to work independently.
• Awareness of diversity and equal opportunity issues, with focus on gender equality.

Responsibilities

• Tackle how to generate code with AI and formally verify that it does what it should.
• Combine AI/code generation with formal methods to produce trustworthy software.
• Work within the MINDS research group and SAFIR project at KTH.
• Engage with international collaborations and use state-of-the-art resources.

Education

Doctoral degree

Job description

KTH Royal Institute of Technology invites applications for a postdoctoral researcher in AI-based formally verified code generation. The project is part of SAFIR, a EUR 2.5M collaboration with industry and research partners, aiming to combine AI-driven code generation with formal verification for trustworthy software.

You will join the MINDS group in the Department of Computing and Learning Systems within EECS, work in an international, dynamic environment, and have access to advanced