11 distributed-algorithms-"Prof" Postdoctoral positions at Aarhus University in Denmark
Sort by
Refine Your Search
-
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
-
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
-
. 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
-
. 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
-
/ ). The candidate is expected to support Prof. Katrin Vorkamp’s research in this centre, with possibilities for networking and exchange on PFAS. However, the candidate is also expected to contribute to Prof. Katrin
-
Aabogade 40, 8200 Aarhus, Denmark, and the area of employment is Aarhus University with related departments. Contact information For further information, please contact: Head of section, Prof. Anders
-
Engineering, Katrinebjergvej 89 G-F, 8200 Aarhus, and the area of employment is Aarhus University with related departments. Contact information For further information, please contact: Associate Prof. Pourya
-
, 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