categories - Category Theory list
 help / color / mirror / Atom feed
* PhD in formal methods and security, cotutelle France-Scotland
@ 2020-03-25 13:27 Barbara Fila (Kordy)
  0 siblings, 0 replies; only message in thread
From: Barbara Fila (Kordy) @ 2020-03-25 13:27 UTC (permalink / raw)
  To: categories

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/ ]


^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2020-03-25 13:27 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-03-25 13:27 PhD in formal methods and security, cotutelle France-Scotland Barbara Fila (Kordy)

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).