220 proof-checking-postdoc-computerscience positions at Technical University of Denmark