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

Two Postdocs in Programming Languages

Chalmers University of Technology | Sweden | about 2 months ago

methods, provides the ideal environment for research on programming with formal guarantees — a topic of increasing practical importance. About us The Department of Computer Science and Engineering , a joint

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