Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Universidade Católica Portuguesa - Porto
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Technical University of Munich
- 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
- 6 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
-
Date: 01 July-01 December 2025 Closing Date for Applicants: 15 June 2025 Duration: 3 years with a possible extension (individual duration for Postdocs). Project and Job Description Formal verification
-
10.08.2021, Academic staff Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification - PhD student in