3 software-verification "KTH" positions

Sort by: relevance | listed |

Enter an email to receive alerts for software-verification "KTH" positions

Research Engineer in Soft and Wearable Robotics

KTH Royal Institute of Technology | Sweden | 6 days ago

19 Sep 2026 Job Information Organisation/Company KTH Royal Institute of Technology Research Field Computer science » Programming Engineering » Electrical engineering Engineering » Mechanical
Postdoc in AI-based formally verified code generation

KTH Royal Institute of Technology | Sweden | 3 months ago

within the last three years prior to the application deadline Research expertise in formal verification. Research expertise in AI. Great emphasis will be placed on personal skills. Join us at KTH KTH
Assistant Professor in Computer Science with Focus on Verification and Validation of Large-Scale Autonomous Systems (PA2026/2602)

University of Lund | Sweden | about 23 hours ago

/mathematically oriented ML verification research at LTH, and builds on SE's expertise in empirical and applied software and systems engineering, as well as the department's established collaborations within, among

Enter an email to receive alerts for software-verification "KTH" positions