91 proof-checking-postdoc-computer-science-logic PhD scholarships at Technical University of Denmark in 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
-
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 of Chemistry performs
-
following qualifications: Programming skills and AI interest Data analytical skills and computer science focus Experiences with chemical analysis and pilot experiments is an advantage. Knowledge
-
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
-
degrees in either the natural sciences (chemistry, physics, mathematical/computational biology) or in the formal sciences (statistics, computer science, mathematics), but must have a serious interest in
-
, 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
-
control, open-source background checks may be conducted on qualified candidates for the position. Embedded Systems Engineering (ESE) is one of the 10 research sections of DTU Compute. Our mission