-
at national and international scientific meetings and the publication of the results in established peer-reviewed scientific journals. Qualifications: A PhD in social sciences achieved by 15th of April 2026
-
for Basic Research in Program Verification (CPV) include: extensions of higher-order concurrent separation logics (such as our Iris logic, see iris-project.org ), e.g., to reason about distributed systems
-
and 2005 and utilising various methods from history, digital humanities, and cultural studies. The position is 2,5 years (30 months). The position is based at the Department of History and Classical
Searches related to distributed systems phd
Enter an email to receive alerts for distributed-systems-phd positions