1 software-formal-method-phd "KTH" Postdoctoral positions

Sort by

listed

Refine Your Search

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

Searches related to software formal method phd

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