2 software-formal-method-phd "KTH" positions

Sort by: relevance | listed |

Enter an email to receive alerts for software-formal-method-phd "KTH" positions

Postdoc in AI-based formally verified code generation

KTH Royal Institute of Technology | Sweden | 3 months ago

will combine modern AI/LLM-based code generation with formal methods to produce software that is both fast to create and provably trustworthy. The position is part of SAFIR (Secure AI for Intelligent
Assistant Professor in Computer Science with Focus on Verification and Validation of Large-Scale Autonomous Systems (PA2026/2602)

University of Lund | Sweden | about 15 hours ago

educational activities on different levels and using a variety of teaching methods. An ability to supervise doctoral students to achieve a PhD. An ability to collaborate with wider society and communicate his

Enter an email to receive alerts for software-formal-method-phd "KTH" positions