73 proof-checking-postdoc-computer-science-logic PhD scholarships at Technical University of Denmark in Denmark
Sort by
Refine Your Search
-
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
-
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
-
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
-
. 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
-
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 for the position. The Department
-
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 on qualified candidates