2 software-formal-method-phd PhD positions in Denmark

PhD Positions in Computer Science (Formal Methods)

University of Southern Denmark (SDU) | Odense C, Region Syddanmark | Denmark | 3 months ago

for 3-year PhD positions in computer science with emphasis on formal methods. Possible topics include (but are not limited to) computational complexity, distributed systems, human factors, logic

PhD in Safe Learning Based Control for Autonomous Robots in Dynamic Environments

Aalborg University | Denmark | 3 months ago

dynamic, crowded environments. As a PhD candidate, you will develop methods that combine data-driven autonomy with formal safety guarantees and validate them in real time through simulation and experimental