Logic List Mailing Archive

PhD student position in formal methods for information security, Edinburgh (Scotland) & Rennes (France), Deadline: 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 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/

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam