21 proof-checking-postdoc-computer-science-logic PhD positions at Aalborg University in Denmark
Sort by
Refine Your Search
-
Program, which is a collaboration between Danish Universities and the University of Chinese Academy Sciences (UCAS). The PhD student gets a unique opportunity to obtain a double PhD degree from both Aalborg
-
interdisciplinary competences in: communication theory, networking, information theory, physics, mathematics, computer science, and statistics. This PhD project falls under Research Thrust RT3 on representation
-
Research, Computer Science, Mathematics, Applied Mathematics, or related fields. Proficiency in programming languages such as Python, R, or other programming languages. Familiarity with multi-agent systems
-
projects is required. Qualifications The ideal candidate has: A strong background in manufacturing engineering, management engineering, operations management, robotics, industrial engineering, computer science
-
, and material separation. Accordingly, the candidate is required to have an Engineering degree on master’s level within manufacturing engineering, automation, or computer science. Specifically, we look
-
volatility. CLASSIQUE is organized into four Research Thrusts that rely upon interdisciplinary competences in: communication theory, networking, information theory, physics, mathematics, computer science, and
-
has several strong, international, and innovative research groups which comprise everything from basic science to strategic and applicable research. The activities encompass research as
-
disease models. The emphasis will be on the communicative potential of these vesicles in the gut-brain-metabolic axis. The LHMI group operates a state-of-the-art molecular biology laboratory and maintains
-
University’s Copenhagen campus. TANTlab offers a vibrant group of international scholars working with fieldwork methods, design interventions, and digital/computational methods to engage users, publics, and
-
industrial ecology and sustainability science for the holistic and quantitative assessment of human systems in a life cycle perspective. The objective of the projects will be to assess– in a life cycle