Sort by
Refine Your Search
-
Akyürek (Experimental Psychology). The successful candidate should have: a keen interest in the human brain, cognition, and formal methods to investigate these. a master’s degree or equivalent in cognitive
-
five Dutch universities: the University of Twente, the University of Groningen, Leiden University, Radboud University, and Delft University. The Formal Methods and Tools (FMT) group at the University
-
of the University of Groningen in The Netherlands. The position is available within the research project "Aggregating Safety Prefer-ences for AI Systems: A Social Choice Approach." The project aims to develop formal
-
of the University of Groningen in The Netherlands. The position is available within the research project "Aggregating Safety Prefer-ences for AI Systems: A Social Choice Approach." The project aims to develop formal
-
training methods. Moreover, they need insights into how to implement VR training at scale in the most effective way. To gain these insights, the project aims to answer the following research questions: How
-
theoretical foundations and formal methods, and focuses on applications in the field of artificial intelligence and data science. There are many collaborations between the two institutes. For more information
-
to various educational programmes (broad employability). Excellent proficiency in both Dutch and English (both at least at level C1 of the Common European Framework). Candidates who don’t possess a formal
-
concepts and working methods. It interacts externally almost exclusively with academia and operates as a truly interdisciplinary team bound to high scientific standards. Through its research, the team acts