5 software-formal-method-phd Postdoctoral positions in Sweden

Two Postdocs in Programming Languages

Chalmers University of Technology | Sweden | about 2 months ago

Do you want to use functional programming to find new ways to develop, test and formally verify software or hardware? Chalmers, with its world leading groups in functional programming and formal

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

Postdoc in Human-in-the-Loop Autonomous Systems

Chalmers University of Technology | Sweden | about 2 hours ago

to represent and model expectations using formal methods, develop techniques that help a system reason about human expectations at runtime, and evaluate the contributions using simulations and experiments with

Postdoc in computational molecular programming

Karolinska Institutet (KI) | Stockholm, Stockholm | Sweden | 2 months ago

could develop the algorithms, models and software that: design and simulate self-assembling DNA nanostructures and molecular machines; turn artificial molecular networks into images — reconstructing where

Three multidisciplinary postdoctoral scholarships (2 years)

Umeå University | Sweden, | Sweden | 2 months ago

and 75,000 SEK for research expenses. The scholarships are tax-free. Application deadline September 17, 2026. Start between January and April 2027 (exact start date according to agreement). Formal