170 verification-computer-science-"Multiple" PhD positions in Denmark