20 software-formal-method-phd positions in Denmark