3 software-verification-computer-science-"insights"-"Washington-University-in-St" positions in Denmark