The Coq mailing list

[Gilles Barthe <gjbarthe AT gmail.com>]

IMDEA Software Institute (Madrid, Spain) has several openings at the
Ph.D. and post-doctoral levels. We seek applicants with a strong
background in at least one of the following fields:

 * privacy, security, cryptography
 * program analysis and program verification
 * automated and interactive proofs

The successful candidates are expected to join the computer-aided
cryptography team. The main emphasis of our research is on
verification of cryptographic algorithms and their implementations, we
welcome applications from strong candidates interested in carrying
their research in any of the broader areas listed above.

Post-doctoral positions are for 1 year (renewable twice), whereas
Ph.D. positions are for 4 years. Positions are renewable yearly
subject to satisfactory progress. Starting date is negotiable.

For further information and informal enquiries, please contact us at
recruit AT easycrypt.info.
 Applications should be submitted through the
Institute web page:

https://www.imdea.org/internationalcall/Default.aspx?IdInstitute=17

When completing your application, please indicate "Verification,
Security and Cryptography" in the research lines.

Applications must be received by July 15, 2015 to receive full
consideration. However, applications will continue to be accepted
until the positions are filled.

Salaries

Salaries at the institute are internationally competitive. Employees
have access to an excellent public healthcare system.

Work Environment

The institute is located  in the  vibrant area  of Madrid,  Spain, and
offers  an ideal working environment  where  researchers can focus on
developing new ideas and projects. The working language is English.

For more information please visit  the web pages of the IMDEA Software
Institute at www.software.imdea.org

The  IMDEA Software  Institute is  an Equal  Opportunity  Employer and
strongly  encourages applications from  a  diverse and  international
community.   The  institute complies  with  the European Charter  for
Researchers.