Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Nature Careers
- Technical University of Denmark
- Aarhus University
- University of Southern Denmark
- Aalborg University
- Aalborg Universitet
- University of Copenhagen
- Copenhagen Business School
- Technical University Of Denmark
- Queen's University Belfast
- Roskilde University
- The Danish Cancer Society
- UNIVERSITY OF COPENHAGEN
- 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
-
interest in information processing in humans and computers, and a particular focus on the signals they exchange, and the opportunities these signals offer for modelling and engineering of cognitive 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
-
project supported by the Challenge Programme of the Novo Nordisk Foundation: “Mathematical Modelling for Microbial Community Induced Metabolic Diseases”, led by Prof. Daniel Merkle. The expected starting
-
languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops, software engineering (software product lines), human factors in security