-
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
Enter an email to receive alerts for distributed-computing-"the" positions