3 formal-method "KTH" positions

Sort by: relevance | listed |

Enter an email to receive alerts for formal-method "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
PhD in Department of Strategy and Innovation

Copenhagen Business School | Denmark | 30 days ago

on the solid application of scientific research method. The department has a pluralistic approach to research methods that includes, for example, formal theoretical models, quantitative empirical methods such as
Assistant Professor in Computer Science with Focus on Verification and Validation of Large-Scale Autonomous Systems (PA2026/2602)

University of Lund | Sweden | about 9 hours ago

is VerSACE, a Vinnova FFI project (2025–2028) in which Lund University participates together with, among others, Chalmers, KTH and several leading players in the automotive industry and automotive

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