coq-club AT inria.fr
Subject: The Coq mailing list
List archive
Re: [Coq-Club] PhD positions in computer-aided cryptography (IMDEA Software Institute, Madrid)
Chronological Thread
- From: Laurent Théry <Laurent.Thery AT inria.fr>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] PhD positions in computer-aided cryptography (IMDEA Software Institute, Madrid)
- Date: Wed, 11 Jun 2014 16:52:21 +0200
On 06/11/2014 12:20 PM, Gilles Barthe wrote:
The IMDEA Software Institute (Madrid, Spain) has openings for two
Ph.D. positions. We are looking for highly motivated students with a
background in at least one of the following fields:
* cryptography,
* programming languages,
* verification,
Cool!
- [Coq-Club] PhD positions in computer-aided cryptography (IMDEA Software Institute, Madrid), Gilles Barthe, 06/11/2014
- Re: [Coq-Club] PhD positions in computer-aided cryptography (IMDEA Software Institute, Madrid), Laurent Théry, 06/11/2014
Archive powered by MHonArc 2.6.18.