Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Technical University of Munich
- University of Texas at Austin
- Stony Brook University
- Télécom Paris
- Universidade Católica Portuguesa - Porto
- University of Kansas
- Aarhus University
- Oak Ridge National Laboratory
- AI4I
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Centro de Estudos Filosóficos e Humanísticos (CEFH) | Universidade Católica Portuguesa
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Kennesaw State University
- Nature Careers
- Poznan University of Technology
- TTI
- Texas A&M University
- The John Paul II Catholic University of Lublin
- The University of Iowa
- Universidade Católica Portuguesa - CATÓLICA-LISBON
- Universidade Católica Portuguesa - RIO
- University of Agriculture in Krakow
- University of Lodz
- University of Luxembourg
- Warsaw University of Technology - Centre for Credible AI
- 15 more »
- « less
-
Field
-
, 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 positions