33 software-verification-computer-science positions at KTH Royal Institute of Technology
Sort by
Refine Your Search
-
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
-
14 Mar 2025 Job Information Organisation/Company KTH Royal Institute of Technology Research Field Engineering » Electrical engineering Engineering » Other Technology » Energy technology Researcher
-
14 Mar 2025 Job Information Organisation/Company KTH Royal Institute of Technology Research Field Mathematics » Applied mathematics Mathematics » Computational mathematics Researcher Profile First
-
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
-
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
-
14 Mar 2025 Job Information Organisation/Company KTH Royal Institute of Technology Research Field Mathematics » Applied mathematics Mathematics » Computational mathematics Mathematics » Statistics
-
8 Mar 2025 Job Information Organisation/Company KTH Royal Institute of Technology Research Field Educational sciences » Other Engineering » Other Researcher Profile Recognised Researcher (R2
-
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
-
mechanical properties for rock drilling. The project combines thermodynamic and kinetic modeling via ICME (Integrated and Computational Materials Engineering), experimental material characterization with
-
: 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