13 distributed-algorithm-"Meta"-"Meta"-"Meta" positions at Aarhus University in Denmark

Sort by: relevance | listed |

Enter an email to receive alerts for distributed-algorithm-"Meta"-"Meta"-"Meta" positions

Marine invertebrate ecologist

Aarhus University | Denmark | 16 days ago

invertebrate biodiversity, ecosystem function, and species distribution under the influence of the multitude of environmental stressors currently affecting the marine coastal ecosystem. A key aspect of the
Post-Doctoral Fellowship in risk assessment and prioritization and remediation of dumped munitions in the Ocean

Aarhus University | Denmark | 1 day ago

, plasticizers, chemical warfare agents, and their degradation products. In addition, our research examines the sources, transport mechanisms, distribution patterns, bioaccumulation processes, and transformation
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

Enter an email to receive alerts for distributed-algorithm-"Meta"-"Meta"-"Meta" positions