-
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
-
suitability of your research interest for this position, feel very welcome to reach out to dr. Akrati Saxena a.saxena@liacs.leidenuniv.nl or dr. Frank Takes f.w.takes@liacs.leidenuniv.nl , before formally
-
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 verification
Enter an email to receive alerts for formal-verification positions