71 proof-checking-postdoc-computer-science-logic PhD positions at Technical University of Denmark
Sort by
Refine Your Search
-
passionate about working in a team. You will lead the publication of results in high-impact scientific journals. You have a strong background in Physics, Geophysics, Materials Science, Computation, Engineering
-
, 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