3 formal-method-phd uni jobs in Sweden

Assistant Professor in Computer Science with Focus on Verification and Validation of Large-Scale Autonomous Systems (PA2026/2602)

University of Lund | Sweden | about 17 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

Doctoral student in the Foundations of Cryptography

Chalmers University of Technology | Sweden | about 2 months ago

, realization of idealized models, relationship between cryptographic notions, and similar topics in foundational cryptography. Similarly work on the intersection of cryptographic protocols and formal methods is

Doctoral student in Biology, behavioural and computational ecology (PA2026/1979)

University of Lund | Sweden | 3 months ago

, you will be trained in a scientific approach. In short, you will be trained to think critically and analytically, to solve problems independently using the right methods, and to develop an awareness