68 proof-checking-postdoc-computer-science-logic Postdoctoral research jobs at Technical University of Denmark