-
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
-
Apply now The Faculty of Science and the Leiden Institute of Advanced Computer Science (LIACS) are looking for a: PhD Candidate in AI for Network Analysis (1.0 FTE, 4 years) About this position
-
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 phd
Enter an email to receive alerts for formal-method-phd positions