7 distributed-algorithm-"Meta"-"Meta"-"Meta" Postdoctoral positions at Aarhus University
Sort by
Refine Your Search
-
Category
-
Field
-
Research Focus We are offering a Postdoctoral position in graph machine learning, algorithms, and graph management with particular focus on: Modeling real-world spatio-temporal energy networks Developing
-
fellow will conduct research on Algorithmic Verification of Concurrent Systems within the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus of the position
-
Are you interested in real-time distributed systems, IoT connectivity, and AI-driven automation? The Department of Electrical and Computer Engineering at Aarhus University invites applications for a
-
environment focusing on integrating multi-source satellite remote sensing data and developing novel algorithms to quantify agroecosystem variables for environmental sustainability. You will focus on processing
-
. Experience with phase retrieval algorithms, clean room use and e-beam lithography are beneficial. The candidate will be expected to participate at international user facilities and thus will be expected
-
, plasticizers, chemical warfare agents, and their degradation products. In addition, our research examines the sources, transport mechanisms, distribution patterns, bioaccumulation processes, and transformation
-
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