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