1 algorithms-"Multiple"-"Prof"-"Simons-Foundation" PhD positions at Aalborg University

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

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