4 distributed-computing-"LIST"-"Humboldt-Stiftung-Foundation" positions at Aarhus University in Denmark
Sort by
Refine Your Search
-
Category
-
Program
-
Field
-
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
-
if the candidate is expected to have a keen interest in digital history, other team members will do the advanced computational analyses in collaboration with the rest of the team’s domain experts
-
to be carried out as part of the research project. The PhD student´s role in the research agenda listed above will depend on the chosen candidate and his / her own PhD project description related
-
research funding" at the PhD Programme in Management. The position is available from 1 September 2025 (or as soon as possible thereafter). The research project The PhD position will focus on the assessment