Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- Technical University of Denmark
- Nature Careers
- Aarhus University
- University of Southern Denmark
- Aalborg University
- University of Copenhagen
- Copenhagen Business School , CBS
- Technical University Of Denmark
- ;
- Aalborg Universitet
- Graduate School of Arts, Aarhus University
- ; Technical University of Denmark
- Technical University of Denmark;
- Copenhagen Business School
- ; University of Cambridge
- Aarhus University;
- European Magnetism Association EMA
- Roskilde University
- University of Oxford
- 9 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
-
Job Description Are you a motivated scientist[TS1] passionate about applying computational tools to the design of microbial strains? Do you have a strong foundation in molecular microbiology and a
-
of Applied Mathematics and Computer Science (DTU Compute). The Section for Mathematics covers mathematical disciplines which have potential for applications within engineering in the broadest sense. Our
-
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
-
stability, and computational efficiency. It is expected that the coding will be done with an open-source programming language. The field experiments have the aim of validating the modelling; they will involve