2 distributed-systems-phd Postdoctoral positions at Aarhus University

Sort by: relevance | listed |

Enter an email to receive alerts for distributed-systems-phd positions

Postdoc and PhD positions to the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University

Aarhus University | Denmark | about 20 hours ago

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
2.5-year postdoctoral position in South Korean Childhood and Web history 1995-2005

Aarhus University | Denmark | 3 days ago

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

Enter an email to receive alerts for distributed-systems-phd positions