[agents] Deadline approaching - PhD in formal methods and security, cotutelle France-Scotland

Barbara Fila (Kordy) barbara.kordy at irisa.fr
Tue May 12 15:22:15 EDT 2020


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/


More information about the agents mailing list