213 proof-checking-postdoc-computer-science-logic positions at Technical University of Denmark in Denmark