Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops, software engineering (software product lines), human factors in security and privacy, post-quantum
-
measurements and interpreting complex data using advanced post-processing techniques (e.g., Distribution of Relaxation Times or DRT). The postdoc will also contribute to the development of an experimental setup
-
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
-
Job Description We are seeking one or more highly motivated and talented Postdoctoral Researchers to join our team and contribute to our cutting-edge activities within photonic quantum computing
-
languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops, software engineering (software product lines), human factors in security
-
This is a full-time (37 hours/week) on-site role located at Åbogade 34, 8200 Aarhus N, Denmark for a Postdoctoral Fellow at the Department of Computer Science, Aarhus University. The postdoctoral
-
. The goal is to quantify both the extent of material degradation and its precise spatial distribution within the battery structure. By modeling the battery as a dynamic 3D acoustic landscape, we expect to be
-
Deadline 20 Nov 2025 - 00:00 (UTC) Type of Contract Other Job Status Full-time Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position
-
the job funded through the EU Research Framework Programme? Horizon Europe - ERC Is the Job related to staff position within a Research Infrastructure? No Offer Description This post is funded by
-
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