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

AI: PAGE Lab: Two PhD Positions on Interdisciplinary Research in NLP, Knowledge Graphs and History

Aalborg University | Denmark | about 21 hours ago

on developing scalable AI and NLP methods for Knowledge Graph Construction. Stipend 2: The PhD student, hosted by the Department of Society and Politics, will guide the Knowledge Graph Construction using

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

Aalborg University | Denmark | 2 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