Vacancies that require Dafny skill