<div dir="ltr"><div class="gmail_quote"><br>
======================================================<br>
<br>
The IMDEA Software Institute (Madrid, Spain) has openings for two<br>
Ph.D. positions. We are looking for highly motivated students with a<br>
background in at least one of the following fields:<br>
<br>
* cryptography,<br>
* programming languages,<br>
* verification,<br>
<br>
and an interest in carrying out research at their intersection.<br>
<br>
The positions are within the computer-assisted cryptography group. The<br>
group is actively working on:<br>
<br>
- the development of new programming languages and verification<br>
methods for the design and analysis of cryptographic systems,<br>
<br>
- the implementation of computer-aided tools for cryptographic proofs,<br>
including EasyCrypt and ZooCrypt, and<br>
<br>
- their application to the formal verification of descriptions and<br>
implementations of cryptographic standards and systems.<br>
<br>
For more information about the group and our recent research, please<br>
visit:<br>
<br>
<a href="https://www.easycrypt.info/Team" target="_blank">https://www.easycrypt.info/Team</a><br>
<br>
The positions start from September 1, 2014 (negotiable); it is<br>
expected that students will complete their Ph.D. in 4 years. The<br>
salary is around 24K euros per year, which provides for very<br>
comfortable living in Madrid; in addition, students will have access<br>
to a generous health package. The working language is English.<br>
<br>
Applications should arrive no later than July 6, 2014 and should<br>
include a CV, a cover letter, and the names and contact details for<br>
two references. Later applications will be considered until the<br>
positions are filled.<br>
<br>
Applications and requests for further information about the positions<br>
should be directed to  phd-recruit AT <a href="http://easycrypt.info" target="_blank">easycrypt.info</a>.<br>
</div><br><br clear="all"><div><br></div>-- <br>- Dr Diego Garbervetsky - DC. FCEyN. UBA.
</div>