2 software-verification-phd PhD positions at Technical University of Denmark