29 proof-checking-postdoc-computer-science-logic positions at KTH Royal Institute of Technology in Sweden

Doctoral student in Computer Science

KTH Royal Institute of Technology | Sweden | 3 months ago

14 Mar 2025 Job Information Organisation/Company KTH Royal Institute of Technology Research Field Computer science » Other Researcher Profile First Stage Researcher (R1) Country Sweden Application

Postdoc in modelling of wave-particle interactions in fusion plasmas

KTH Royal Institute of Technology | Sweden | 3 months ago

Framework Programme? Horizon Europe - EIC Is the Job related to staff position within a Research Infrastructure? No Offer Description Job description The KTH Division of Electromagnetic Engineering and Fusion

Doctoral student in History of Science, Technology and Environment

KTH Royal Institute of Technology | Sweden | 3 months ago

14 Mar 2025 Job Information Organisation/Company KTH Royal Institute of Technology Research Field History » History of science Researcher Profile First Stage Researcher (R1) Country Sweden

Doctoral student in digital solutions for sustainable building technology

KTH Royal Institute of Technology | Sweden | 3 months ago

14 Mar 2025 Job Information Organisation/Company KTH Royal Institute of Technology Research Field Architecture » Other Engineering » Civil engineering Researcher Profile First Stage Researcher (R1

Doctoral student in applied and computational mathematics

KTH Royal Institute of Technology | Sweden | 3 months ago

14 Mar 2025 Job Information Organisation/Company KTH Royal Institute of Technology Research Field Mathematics » Applied mathematics Mathematics » Computational mathematics Researcher Profile First

Doctoral student in applied and computational mathematics

KTH Royal Institute of Technology | Sweden | 3 months ago

14 Mar 2025 Job Information Organisation/Company KTH Royal Institute of Technology Research Field Mathematics » Applied mathematics Mathematics » Computational mathematics Mathematics » Statistics

Doctoral student in Transport Science

KTH Royal Institute of Technology | Sweden | 3 months ago

Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Project description Third-cycle subject: Transport Science with

Doctoral student in Materials Science – Developing Sustainable Cemented Carbide Materials

KTH Royal Institute of Technology | Sweden | 3 months ago

mechanical properties for rock drilling. The project combines thermodynamic and kinetic modeling via ICME (Integrated and Computational Materials Engineering), experimental material characterization with

Doctoral student in multi-agent control systems

KTH Royal Institute of Technology | Sweden | 3 months ago

: Electrical Engineering The project involves distributed task planning and control for multi-agent systems.  Multi-agent tasks will be given in the form of formal verification languages such as temporal logic

Doctoral student in information theory

KTH Royal Institute of Technology | Sweden | 3 months ago

14 Mar 2025 Job Information Organisation/Company KTH Royal Institute of Technology Research Field Computer science » Programming Computer science » Other Engineering » Electrical engineering