69 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Technical University of Denmark
Sort by
Refine Your Search
-
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
-
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
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions