Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
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
-
study programme, please see DTU's rules for the PhD education . Assessment The assessment of the applicants will be made by Senior Researcher Manuel Gesto Rodriguez and Professor and Head of Section Per
-
different disciplines, including e.g. psychology, economics and management. 23 persons work at Department of Political Science (2 professors, 5 associate professor, 4 assistant professors, 5 PhD students, one
-
the surrounding society Communicating and exchanging our research-based knowledge We are looking for assistant professors and associate professors who want to help implement this vision. We expect applicants to be
-
. 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
-
uses of prescription tranquilizers’ headed by Associate Professor Margit Anne Petersen and funded by Independent Research Fund Denmark. The overall research project focuses on the complex relationship
-
education . Assessment The assessment of the applicants will be made by Associate Professor Gregor Fischer according to the qualification requirements stated above. We offer DTU is a leading technical