PhD in formal methods and security, cotutelle France-Scotland

March 25, 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

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 ( and Saša Radomirović (

View National Cybersecurity Edcuation Agenda