3 model-checking "KTH" Postdoctoral positions in Sweden

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 Integrated Transport Emissions and Health Assessment

KTH Royal Institute of Technology | Sweden | 3 months ago

3 Jul 2026 Job Information Organisation/Company KTH Royal Institute of Technology Research Field Computer science » Other Medical sciences » Other Technology » Energy technology Technology

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

Chalmers University of Technology | Sweden | 17 days ago

. The position is part of the ShiftLeft project funded by WASP , a flagship project with partner universities at KTH, Linköping, and Umeå. About us The Department of Computer Science and Engineering , a joint