The page you are requesting does not exist. You can start your search here!
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
-
) and present your work at top conferences and journals in our field. Candidates should have completed their Master/Diploma studies in Computer Science, Mathematics, Mechatronics, Electrical Engineering
Searches related to software verification computer science
Enter an email to receive alerts for software-verification-computer-science positions