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
-
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
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions