9 distributed-algorithm-"Prof" Postdoctoral positions at Aarhus University in Denmark
Sort by
Refine Your Search
-
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
-
the area of employment is Aarhus University with related departments. Contact information For further information, please contact: Assoc. Prof. Michal K. Budzik, +45 4189 3217, mibu@mpe.au.dk . Deadline
-
. Additional information Further information about the position may be obtained from the project leaders. Professor Corneliu Barbu (phone no.: +45 9352 1325/email: coba@ece.au.dk ) Associate Prof. Mohammad
-
. 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