6 model-checking "KTH" positions

Doctoral student position: Quantity or quality? Rethinking carbon footprints and demand-side policy

Chalmers University of Technology | Sweden | about 9 hours ago

Policy, funded by the Swedish Research Council Formas (2026–2030). The project is conducted in collaboration with KTH (Professor Göran Finnveden), Statistics Sweden, and the greentech company Svalna

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

Postdoctoral Researcher in Speech and Language Technology

AALTO UNIVERSITY | United Kingdom | 11 days ago

Fabra in Spain, Prof. Gustav Eje Henter at KTH Royal Institute of Technology in Sweden. The collaboration network has a strong background in speech and audio synthesis, deep generative models, and

Doctoral Researcher in Speech and Language Technology

AALTO UNIVERSITY | United Kingdom | 11 days ago

Pompeu Fabra in Spain, Prof. Gustav Eje Henter at KTH Royal Institute of Technology in Sweden. The collaboration network has a strong background in speech and audio synthesis, deep generative models, and

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