60 proof-checking-postdoc-computer-science-logic PhD positions at Technical University of Denmark
Sort by
Refine Your Search
-
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
-
background checks may be conducted on qualified candidates for the position. The Department of Environmental and Resource Engineering (DTU Sustain) is one of the largest university departments specializing in
-
, and validate robust computational workflows. You will co-develop well-documented, shareable codebases and tools following modern software engineering practices. You will collaborate closely with
-
, biochemistry, molecular biology, biotechnology, or a related discipline. You must have: Expertise in either computational protein design or wet lab techniques, with a willingness to learn the complementary skill
-
engineering, statistics, physics, mathematics, data science, informatics or similar degree with an academic level equivalent to a master's degree. The candidate should preferably have: Dedication and the desire
-
the following areas: Knowledge of computer science and machine learning. Familiarity with electrical and electronic engineering. Proficiency in programming languages such as Python, C++, or MATLAB. Experience
-
or 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
-
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
-
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
-
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 Management conducts