2 distributed-system-"https:" Postdoctoral positions at Aarhus University

Sort by: relevance | listed |

Enter an email to receive alerts for distributed-system-"https:" positions

Post Doc positions for the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University

Aarhus University | Aarhus C, Region Midtjylland | Denmark | about 2 months ago

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; probabilistic program
Postdoc position in hydrothermal liquefaction of biomass and wastes

Aarhus University | Aarhus C, Region Midtjylland | Denmark | 33 minutes ago

agriculture and food. At the department, we educate BEng, BSc and MSc graduates in engineering for Danish society. Read more about the department and sections here: https://bce.au.dk/en/research/key-areas-in

Enter an email to receive alerts for distributed-system-"https:" positions