From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10178 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: "Barbara Fila (Kordy)" Newsgroups: gmane.science.mathematics.categories Subject: PhD in formal methods and security, cotutelle France-Scotland Date: Wed, 25 Mar 2020 14:27:44 +0100 Message-ID: Reply-To: "Barbara Fila (Kordy)" Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="11651"; mail-complaints-to="usenet@ciao.gmane.io" To: Original-X-From: majordomo@rr.mta.ca Thu Mar 26 01:45:12 2020 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1jHGdz-0002t9-I7 for gsmc-categories@m.gmane-mx.org; Thu, 26 Mar 2020 01:45:11 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:48930) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1jHGZX-0006QM-Ml; Wed, 25 Mar 2020 21:40:35 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1jHGbu-000388-5x for categories-list@rr.mta.ca; Wed, 25 Mar 2020 21:43:02 -0300 Content-Language: en-US Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10178 Archived-At: 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/ ]