-
for postdoctoral fellowships in computer science with emphasis on the area of formal methods, in connection with topics that include (but are not limited to) computational complexity, distributed systems, human
-
. The section also hosts research in areas including natural language processing and trustworthy AI, human-centred computing, software engineering, and distributed and interactive systems. This breadth supports
-
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
-
Role Description This is a full-time (37 hours/week) on-site role located at Åbogade 34, 8200 Aarhus N, Denmark for a Postdoctoral Fellow at the Department of Computer Science, Aarhus University
-
Validation; Data Engineering, Science, and Systems; Distributed Sustainable Software and Systems; Formal Methods for Security and Privacy; Foundations for Interacting and Computing Systems; Human Augmentation
-
of Computer Science has the following research groups: Automated System Verification and Validation Data Engineering, Science, and Systems Distributed Sustainable Software and Systems Formal Methods for Security and