CAUTION: The Sender of this email is not from within Dalhousie. 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/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]