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
-
Aalborg University contributes to the knowledge building of the global society as well as the development of prosperity, welfare and culture of Danish society. This is accomplished through research, research-based education, public sector services and knowledge collaboration. AAU educates...
-
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
-
inspecting dark water ballast tanks on large vessels. In this role, you will design uncertainty-aware semantic segmentation models and create curated, probabilistic annotated datasets that capture the inherent
-
=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
-
of the marine food web that supports the ecosystem services that we humans rely on. However, we are currently not able to demonstrate the connection between the melting sea ice, plankton community
-
, 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
-
theory around the pace-of-life of marine fish and simulate fast and slow life history strategies within fish populations and fish community food webs. This research aims to examine how these strategies