2 software-formal-method-phd PhD positions in Denmark