1 parallel-and-distributed-computing Postdoctoral scholarships in Denmark

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for parallel-and-distributed-computing 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 1 month 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

Searches related to parallel and distributed computing

Enter an email to receive alerts for parallel-and-distributed-computing positions