3 software-engineering-phd-"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 21 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 | 13 days ago

, and software engineering. The position is salaried (not just fully funded) and part of a lively research environment located in the beautiful city of Gothenburg on the West coast of Sweden