63 proof-checking-postdoc-computer-science-logic PhD positions at Technical University of Denmark
Sort by
Refine Your Search
-
Listed
-
Category
-
Field
-
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
-
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