53 proof-checking-postdoc-computerscience PhD positions at Technical University of Denmark
Sort by
Refine Your Search
-
strong academic team at DTU Management’s Management Science division. Three PhD students and four PostDocs will work on the project, as well as several international experts in operations research
-
control, open-source background checks may be conducted on qualified candidates for the position. DTU Nanolab is a common infrastructure and research facility located at and fully owned by the Technical
-
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 utilizes science and technical
-
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 Civil 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
-
shape the green energy transition? If so, this fully funded 3-year PhD position at DTU Wind and Energy Systems could be a perfect fit for you. We at DTU Wind and Energy Systems offer a vibrant and
-
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
-
model checking. You should be well versed in basic statistics and practical programming skills is a must. Knowledge about the inner workings of GenAI would be nice but not necessary. You must have a two
-
. 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
-
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