82 software-verification "https:" Postgraduate scholarships