65 proof-checking-postdoc-computer-science-logic PhD scholarships at Technical University of Denmark in Denmark
Sort by
Refine Your Search
-
, geophysics, materials science, computation, engineering, or a related discipline. Hands-on research experience in one or more of the following areas will be considered an advantage: Confocal microscopy and
-
stability, and computational efficiency. It is expected that the coding will be done with an open-source programming language. The field experiments have the aim of validating the modelling; they will involve
-
section Energy Technology and Computer Science, where you will have around 20 colleagues with a mix of research and industrial experience. We work with research, innovation, technology implementation, and
-
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 Novo Nordisk
-
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