Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- Universidade Católica Portuguesa - Porto
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- University of Kansas
- University of Silesia in Katowice
- AGH University of Krakow
- IMT Mines Ales
- Idiap Research Institute
- Jagiellonian University
- Lehigh University
- Maj Institute of Pharmacology Polish Academy of Sciences
- Poznan University of Technology
- The California State University
- The University of Iowa
- University of Agriculture in Krakow
- University of Florida
- 5 more »
- « less
-
Field
-
. Appendixes available at: https://if-pan.krakow.pl/pl/informacja-publiczna/oferty-pracy/ Additional comments The winner of the competition will be selected from among those meeting the formal requirements
-
scholar will join the Computational Logic Center (CLC) within the department of computer science. The CLC performs research across programming languages, formal verification, and automated reasoning, and
Enter an email to receive alerts for formal-verification-"https:" positions