12 distributed-computing-associate-professor Postdoctoral positions in Denmark

Sort by: relevance | listed |

Enter an email to receive alerts for distributed-computing-associate-professor 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 | 3 months 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
Postdocs in Control for Remote Maintenance of Fusion Power Plants

University of Southern Denmark | Denmark | about 2 months ago

researcher in SDU Robotics. Further information Further information about this position is available via email from Professor Christoffer Sloth at email chsl@mmmi.sdu.dk . Please visit us on LinkedIn: https

Enter an email to receive alerts for distributed-computing-associate-professor positions