KTH Royal Institute of Technology
Posted: 6 July 2026 - Stockholm, Sweden
Join KTH as a postdoctoral researcher to tackle the challenges of AI-based code generation and formal verification. Work on the SAFIR project with leading industry partners in a dynamic research environment.