89 proof-checking-postdoc-computer-science-logic PhD positions at Technical University of Denmark
Sort by
Refine Your Search
-
level equivalent to a two-year master's degree in Electrical Engineering, Computer Science, Robotics, Safety Engineering, or related fields. Approval and Enrolment The scholarship for the PhD degree is
-
proof-of-principle photonic topological designs, and identify opportunities for demonstrations with experimental collaborators at the department and internationally. The program aims to advance
-
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. DTU National Food
-
for Science & Technology (KAIST), and an external stay at KAIST will be included as part of the PhD program. Qualifications Proficiency with Python Experience implementing various Machine Learning algorithms
-
institutes, and industrial partners across Europe to deliver a world-class doctoral training programme in risk assessment, resilience engineering, and smart technologies. Its scientific vision targets: (1
-
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
-
computer science and control systems architecture, advancing all the above disciplines. Building energy flexibility is an important resource for balancing and load shifting in energy networks, especially
-
) therapy on the biology of γδ T cells and how can we use this knowledge to help us predict the success of therapy and prevent the development of side-effects. Position 1 will focus on the cellular and
-
control, open-source background checks may be conducted on qualified candidates for the position. DTU Civil and Mechanical Engineering develops and utilizes science and technical knowledge for the benefit
-
, 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 Construct conducts teaching and research in