Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
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
-
our team at DTU Compute, offering a fully funded position within a dynamic and interdisciplinary research environment. The positions are part of the research project “AI-driven materials optimization
-
At the Faculty of Medicine, Department of Health Science and Technology, a position as Postdoc in Medical Informatics and Image Analysis Group is open for appointment from November 1, 2025 or soon
-
collaboration between the Department of Electrical and Computer Engineering and the Novo Nordisk Foundation CO2 research center, Aarhus University, we aim to address this opportunity by developing digital twins
-
Job Description We are seeking three highly motivated and talented Postdoctoral Researchers to join our team and contribute to our cutting-edge activities within photonic quantum computing. The open