2 algorithm-inlelligence PhD positions at Aalborg University in Denmark

PhD Stipends within Distributed, Embedded and Intelligent Systems (DEIS)

Aalborg University | Denmark | about 20 hours ago

for behavioural and security properties; efficient algorithms for model checking, learning and synthesis; improved explainability and safety of machine learning models, e.g. by integrating neural and symbolic

PhD position in Advancing Trustworthy and Real-Time Autonomous Systems in Uncertain Environments

Aalborg University | Denmark | 2 months ago

well as developing solution algorithms applying mathematical and computational approaches. The group has a particular focus on automated decision making in autonomous cyber-physical systems. Autonomous systems and