Sort by
Refine Your Search
-
Listed
-
Category
-
Field
-
; probabilistic program logics; logical relations for relational reasoning about safety, liveness, and security properties; formal modeling of low-level capability machines and secure compilation; program logics
-
programme. Academic staff contribute to the teaching. English is the preferred language in the laboratory, at meetings and at seminars. The department employs approx. 500 people from all over the world, and
-
sustainable and resilient agricultural systems. The research team you will join is coordinating an international program that brings together leading scientists from around the world to investigate beneficial
-
We are seeking candidates for a post-doctoral position within the field of correlated disorder in crystals. The position is for three years. In case further external funding is secured within
-
if funding is secured. If your research profile does not completely match the descriptions above but you have a theoretical background and are interested in developing one of the research areas mentioned, QGG
-
from diverse countries and fosters a collaborative, friendly atmosphere. Excellent work–life balance: Denmark consistently ranks among the top countries for quality of life, safety, and work–life
-
chemical trauma scenarios. Further, the plan is to develop a novel quantitative 3D bite mark analysis method. The overall perspective is to secure implementation of 3D dental data within the field