News and Events: Open Positions

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 , or Saša Radomirović at .

Please note that this newsitem has been archived, and may contain outdated information or links.