2 software-verification PhD positions in Denmark