11 verification-computer-science "https:" positions in Denmark