Sort by
Refine Your Search
-
At the Technical Faculty of IT and Design, Department of Computer Science, one PhD stipend/Integrated PhD stipend in theories for programming semantics, methods for verification and reliability
-
on recent advances in Higher-Order Mathematical Operational Semantics, a pivotal generalization of Turi and Plotkin's seminal approach to structural operational semantics. We seek an apt and motivated PhD
-
on recent advances in Higher-Order Mathematical Operational Semantics, a pivotal generalization of Turi and Plotkin's seminal approach to structural operational semantics. We seek an apt and motivated PhD
-
=false&rank=1 . By providing comprehensive information on breast cancer, personal risk and recommended screening with a web-based Risk Communication Tool, PRSONAL will herald a new, personalized era in
-
such as the Web of Science and the Danish register data. A few start-up interviews (max. 15) with people from evaluation committees, employees from The Danish Innovation Fund as well as prior applicants may
-
, please fill in the application form available on our web page . On the webpage of the PhD –school, you can find the guidelines for preparing your project proposal. All non-Danish documents must be