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

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

Two Postdocs in Programming Languages

Chalmers University of Technology | Sweden | about 2 months 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