27 formal-verification-computer-science PhD research jobs in Denmark