2 software-engineering-phd "KTH" Postdoctoral 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

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

Chalmers University of Technology | Sweden | 12 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