1 proof-checking-postdoc-computer-science-logic Fellowship positions at University of Southern Denmark in Denmark