This is a new degree and no information on graduate destinations is currently available.
Employability
The PPLV research group has strong links with companies such as Facebook, Microsoft and other digital companies with an interest in program verification. This degree is intended to lead in some cases to PhD study.