[DMANET] PhD in formal methods and security, cotutelle France-Scotland

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

With kind regards,
Barbara
----------------------
http://people.irisa.fr/Barbara.Kordy/
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************