97 verification-computer-science PhD scholarships at Technical University of Denmark