Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Technical University of Denmark
- Nature Careers
- Aarhus University
- University of Southern Denmark
- Aalborg University
- University of Copenhagen
- Aalborg Universitet
- ;
- ; Technical University of Denmark
- Copenhagen Business School
- European Magnetism Association EMA
- Technical University Of Denmark
- University of Oxford
- 3 more »
- « less
-
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
-
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
-
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
-
of context-aware, distributed, and embedded cyber-physical systems, with a particular focus on Internet-of-Things (IoT) and the computing continuum eras. Our vision is to pioneer advancements in high-tech
-
of context-aware, distributed, and embedded cyber-physical systems, with a particular focus on Internet-of-Things (IoT) and the computing continuum eras. Our vision is to pioneer advancements in high-tech