Sort by
Refine Your Search
-
Listed
-
Field
-
field; Affinity with formal methods, including an understanding of basic of automata theory, formal languages, algorithms, and computability --- i.e., foundational computer science theory. Candidates with
-
networks, or network science, and relevant background knowledge on methods in machine learning and AI. The successful candidate will focus on innovating the field of network analysis with AI methods
-
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 method
Enter an email to receive alerts for formal-method positions