Sort by
Refine Your Search
-
, or machine learning is also appreciated. PhD: The candidate is expected to have some background in theoretical computer science, including some of the following areas: automata, logic, games, verification
Searches related to formal verification computer science
Enter an email to receive alerts for formal-verification-computer-science "LIST" positions