March 25, 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
The deadline for applications is Friday, May 15, 2020, but applications will be considered until the position is filled.
For all inquiries please contact