3 phd-software "KTH" positions

Postdoc in AI-based formally verified code generation

KTH Royal Institute of Technology | Sweden | 3 months ago

7 Jul 2026 Job Information Organisation/Company KTH Royal Institute of Technology Research Field Computer science » Programming Computer science » Other Researcher Profile Recognised Researcher (R2

Assistant Professor in Computer Science with Focus on Verification and Validation of Large-Scale Autonomous Systems (PA2026/2602)

University of Lund | Sweden | about 6 hours ago

Description of the workplace The assistant professor will be working at the Department of Computer Science, in the Software Engineering (SE) division (until recently known as the SERG research group

Postdoc in Human-in-the-loop Software Engineering for Secure Software Supply Chains

Chalmers University of Technology | Sweden | 17 days ago

PhD students and postdocs working on related topics in the ShiftLeft project and be involved in supervision. The position is partially funded by WASP. Wallenberg AI, Autonomous Systems and Software