Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
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
-
The SDU Adaptive Intelligence Lab (ADIN Lab) (https://adinlab.github.io/ ) located under the Data Science and Statistics Section of the Department of Mathematics and Computer Science (IMADA
-
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
-
the 1st semester of the MA programmes in European Studies and Global Area Studies). The position comprises a total of 90 hours per appointment, distributed as 3 teaching hours per week over 12 weeks and 50
-
Assistant professor or Tenure-track Assistant professor in Distributed, Embedded and Intelligent Systems - Aalborg Campus (DEIS) Department of Computer Science, Aalborg University is hiring
-
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
-
University, Denmark, within the Food Science programme. The position is available from 01 September 2026 or later. You can submit your application via the link under 'how to apply'. Title SWEET Transporters as
-
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