2 distributed-computing-associate-professor Postdoctoral positions at Aarhus University
-
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
-
directed to Associate Professor Helle Strandgaard Jensen (hs.jensen@cas.au.dk ) Qualifications A PhD in history, cultural studies, anthropology, sociology, media studies or related areas focusing on modern
Searches related to distributed computing associate professor
Enter an email to receive alerts for distributed-computing-associate-professor positions