201 proof-checking-postdoc-computer-science-logic positions at Technical University of Denmark in Denmark
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
ethnic background are encouraged 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
-
qualification, you must hold a PhD degree (or equivalent) in computer science, computer engineering, or electrical engineering. Hardware design in a hardware description language such as Chisel, VDHL, or Verilog
-
health data science research analyses. As a postdoc, you will also be part of the teaching and supervision of DTU students, who in turn will also use the infrastructure. Our expectations of you As a formal
-
collaboration with the company Topsoe as well as other universities and companies. You will be based at DTU Chemical Engineering, at the CHEC research group in a dynamic international research environment