93 proof-checking-postdoc-computer-science-logic PhD positions at Technical University of Denmark
Sort by
Refine Your Search
-
of the PhD study programme, please see DTU's rules for the PhD education . Assessment The assessment of the applicants will be made by Dr. Lei Yang and Prof. Johannes Kabisch (Norwegian University of Science
-
ethnic background are encouraged to apply. As DTU works with research in critical technology, which is subject to special rules for security and export control, open-source background checks may be
-
is subject to special rules for security and export control, open-source background checks may be conducted on qualified candidates for the position. DTU Civil and Mechanical Engineering develops and
-
background in Computer Science, Informatics Engineering, Mathematical Modeling, Computational Urban Science, Transport Modeling or equivalent, or a similar degree with an academic level equivalent to a two
-
Job Description Are you passionate about materials science, electron microscopy, and tackling real-world environmental challenges? Join us at the National Centre for Nanofabrication and
-
background are encouraged to apply. As DTU works with research in critical technology, which is subject to special rules for security and export control, open-source background checks may be conducted
-
. The overarching goal of this newly funded project is to realize quantum light sources coupled to quantum memories. Quantum memories are key components of optical quantum computers and scalable quantum networks
-
areas: Knowledge of computer science and operations research Familiarity with renewable energy systems and their challenges Proficiency in programming languages such as Python or Julia Strong problem
-
critical technology, which is subject to special rules for security and export control, open-source background checks may be conducted on qualified candidates for the position. DTU Space has about 230
-
. As DTU works with research in critical technology, which is subject to special rules for security and export control, open-source background checks may be conducted on qualified candidates