2 software-verification-postdoc positions at Technical University of Denmark in Denmark