1 algorithm-"Multiple"-"U"-"U.S"-"Simons-Foundation" PhD positions at Aalborg University in Denmark

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