-
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