Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- Technical University of Denmark
- University of Southern Denmark
- Aarhus University
- Nature Careers
- University of Copenhagen
- Copenhagen Business School , CBS
- Aalborg University
- Copenhagen Business School
- Aarhus University;
- Technical University of Denmark;
- ;
- Aalborg Universitet
- ; University of Aarhus
- ; University of Cambridge
- 4 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
-
market frameworks and business models for fair value distribution will be analysed. Responsibilities and qualifications Your primary research tasks will include: Develop and simulate coordinated control
-
equal gender distribution. We are located in Lyngby, Hirtshals, Nykøbing Mors, and Silkeborg and have regular activities in Greenland. Learn more at aqua.dtu.dk Technology for people DTU develops
-
equal gender distribution. We are located in Lyngby, Hirtshals, Nykøbing Mors, and Silkeborg and have regular activities in Greenland. Learn more on aqua.dtu.dk Technology for people DTU develops
-
. Integrating new pumping systems and verification of aseptic bubble-free long-term perfusion. Characterizing oxygen and metabolite distribution by advanced microscopy. Performing month-long culture of stem cell
-
expertise in autonomous marine systems. The research focus will be on development, implementation and verification of novel algorithms for motion planning and control of autonomous underwater vehicles. You
-
. The Institute has 360 employees, one-half being scientific staff, including about 50 PhD students. More than 35 nationalities are represented at the Institute, and we support an equal gender distribution. We
-
, biomedical sensor and AI algorithm for cancer diagnosis. This project aims to develop a miniaturized robot and bio-sensor for on-site laryngeal cancer diagnosis. The candidate can contribute to one
-
. The project aims at three significant academic contributions: (1) to explore and map out distinctive moral reasons to be concerned with extreme wealth from the perspective of distributive justice, (2
-
Two postdoc positions on the ecology and physiology of microbial key players exposed to oxygen de...
and distribution of the above-mentioned microbes in oxygen-depleted environments Identification of the enzymes catalyzing the NO-dismutation reaction in AOA. Exploration of the physiological adaptations