Please note that this newsitem has been archived, and may contain outdated information or links.
PhD student position in formal methods for information security, Edinburgh (Scotland) & Rennes (France)
Deadline: Friday 15 May 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 information, see
http://people.irisa.fr/Barbara.Kordy/vacancies.php
or contact Barbara Fila at barbara.fila at irisa.fr, or Saša Radomirović at sasa.radomirovic at hw.ac.uk.
Please note that this newsitem has been archived, and may contain outdated information or links.