3 postdoc-computer-science-logic positions in Denmark