97 software-verification-computer-science research jobs at Technical University of Denmark