[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We have a fully-funded three-year PhD position in formal methods for
information security. This is a joint doctorate (cotutelle) between
IRISA (Rennes, France) and Heriot-Watt University (Edinburgh, Scotland).
The student will obtain a PhD degree from both universities.
For more details, see
http://people.irisa.fr/Barbara.Kordy/vacancies.php
The deadline for applications is Friday, May 15, 2020, but applications
will be considered until the position is filled.
For all inquiries please contact
Barbara Fila ([email protected]) and
Saša Radomirović ([email protected])
With kind regards,
Barbara
----------------------
http://people.irisa.fr/Barbara.Kordy/
