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