Sort by
Refine Your Search
-
Category
-
Country
-
Employer
- Universidade Católica Portuguesa - Porto
- Aarhus University
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- University of Kansas
- Nature Careers
- Technical University of Munich
- The University of Iowa
- University of Silesia in Katowice
- AGH University of Krakow
- IMT Mines Ales
- Idiap Research Institute
- Lehigh University
- Maj Institute of Pharmacology Polish Academy of Sciences
- Poznan University of Technology
- TTI
- Technical University of Denmark
- Texas A&M University
- The California State University
- Télécom Paris
- University of Agriculture in Krakow
- University of Delaware
- University of Texas at Austin
- 12 more »
- « less
-
Field
-
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/model
Searches related to formal verification computer science
Enter an email to receive alerts for formal-verification-computer-science positions