41 proof-checking-postdoc-computer-science-logic PhD positions at Aalborg University in Denmark
Sort by
Refine Your Search
-
computation. Familiarity with both topics is a definite benefit, but not a strict requirement. The position requires a solid mathematical skill set and the ability to formally analyse and prove properties
-
Do you bring together domain specific knowledge from the social sciences with a genuine, hands-on command of AI and/or digital methods? Would you like to advance research that integrates state
-
Production, Aalborg University, campus Aalborg, and is part of TRACE 2025: A Path to Resilience, Call 4: International Scaling of Proof-of-Concept Circular Economy Systems. Your work tasks In this PhD project
-
School of Social Sciences and Humanities in accordance with the regulations of Ministerial Order No. 1124 of September 19, 2025 on the PhD Programme at the Universities and Certain Higher Artistic
-
University. The project is a part of the ambitious Novo Nordisk Foundation Data Science Collaborative Programme, “Synthetic health data: ethical development and deployment via deep learning approaches (SE3D
-
organizational theory, the learning sciences, digital transformation, digital technologies, human-computer interaction, and related fields. Within the specific field, the PhD student will engage in both research
-
At the Faculty of Engineering and Science, AAU Energy, a PhD stipend position is available within the general study programme. The position is offered in relation to the research group Underwater
-
transformation, computational social science, science and technology studies, or a closely related area. Familiarity with one or both sides of the Sino-Danish comparison is a clear advantage; so is some knowledge
-
in accordance with the regulations of Ministerial Order No. 1124 of September 19, 2025 on the PhD Programme at the Universities and Certain Higher Artistic Educational Institutions. According
-
Environments within the general study programme Electrical and Electronic Engineering; as per September 1, 2026, or as soon as possible thereafter. The candidate will be based in Aalborg at the Automation and