54 proof-checking-postdoc-computer-science-logic uni jobs at Technical University of Denmark in Denmark
Sort by
Refine Your Search
-
for security and export 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 at DTU Compute
-
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 for the position
-
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 for the position. DTU Compute DTU
-
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. DTU Aqua provides research, advice