Sort by
Refine Your Search
- 
                Listed
- 
                Category
- 
                Program
- 
                Employer- Technical University of Denmark
- Nature Careers
- University of Southern Denmark
- Aarhus University
- Aalborg University
- University of Copenhagen
- Aalborg Universitet
- Technical University Of Denmark
- Copenhagen Business School
- DTU Electro
- Aarhus University;
- Copenhagen Business School , CBS
- Graduate School of Arts, Aarhus University
- Technical University of Denmark;
- Danmarks Tekniske Universitet
- Roskilde University
- ;
- ; University of Cambridge
- COPENHAGEN BUSINESS SCHOOL
- Queen's University Belfast
- Technical University of Denmark (DTU)
- Technical University of Denmark - DTU
- The Danish Cancer Society
- UNIVERSITY OF COPENHAGEN
- University of Southern Denmark;
- 15 more »
- « less
 
- 
                Field- Computer Science
- Engineering
- Biology
- Medical Sciences
- Economics
- Mathematics
- Chemistry
- Science
- Business
- Materials Science
- Humanities
- Social Sciences
- Psychology
- Arts and Literature
- Earth Sciences
- Electrical Engineering
- Environment
- Linguistics
- Education
- Law
- Philosophy
- Physics
- Statistics
- 13 more »
- « less
 
- 
                
                
                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 
- 
                
                
                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 
- 
                
                
                Materials, Culture and Heritage (MCH) is the Research Programme within the Department of Archaeology and Heritage Studies, at the Moesgård Campus. We are recruiting a Student Assistant 
- 
                
                
                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 
- 
                
                
                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