2 software-verification PhD positions at Technical University of Denmark