3 software-verification-computer-science Postdoctoral positions in Sweden

Postdoc in AI-based formally verified code generation

KTH Royal Institute of Technology | Sweden | 2 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

Two Postdocs in Programming Languages

Chalmers University of Technology | Sweden | about 1 month ago

setting where ideas grow into real impact. At the division of Computing Science , we advance secure and trustworthy software and systems, spanning foundations, programming languages, tools and practical

Postdoc position in Robotics and Artificial Intelligence WASP

Lulea University of Technology | Sweden | about 17 hours ago

of Computer Science, Electrical and Space Engineering as part of the national research program WASP. Wallenberg AI, Autonomous Systems and Software Program (WASP) is Sweden’s largest individual research program ever, a