67 proof-checking-postdoc-computer-science-logic PhD scholarships at Technical University of Denmark