3 formal-verification-computer-science uni jobs in Denmark