4 software-verification positions at Technical University of Denmark