Postdoc in AI-Based Formally Verified Code Generation

KTH Royal Institute of Technology

Posted: 6 July 2026 - Stockholm, Sweden

View on kth.se Back to all openings

About this opening

? This summary is AI-generated from the source advert. Check the original posting for authoritative details before applying.

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.

Position details

? These details are extracted from the source advert. Check the original posting for authoritative requirements and dates before applying.

Related openings

More at KTH Royal Institute of Technology More in Sweden More in Computer Science More about AI and Formal Verification Browse all open jobs