[TYPES/announce] PhD in formal methods and security, cotutelle France-Scotland

[Barbara Fila (Kordy)]

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 (barbara.fila at irisa.fr) and
Saša Radomirović (sasa.radomirovic at hw.ac.uk)


With kind regards,
Barbara
----------------------
http://people.irisa.fr/Barbara.Kordy/