[TYPES/announce] Post-doc job offer : cryptographic security [New deadline]

[Pierre Corbineau]

Proving computational security of cryptographic systems

               ***** Post-doc vacancy *****

Host laboratory:  LIP (ENS Lyon) / VERIMAG (UJF - Grenoble 1), FRANCE

We are looking for a researcher (post-doc) to work on the ANR SCALP project.

Keywords: formal verification, computational security, cryptography,
proof assistant

Subject :
Our day-to-day lives increasingly depend upon information and our
ability to manipulate it securely. That is, in a way that prevents
malicious elements to subvert the available information for their own
benefits. This requires solutions based on cryptographic systems
(primitives and protocols).

However, no matter how carefully crafted cryptographic systems are,
experience has shown that effective attacks can remain hidden for
years. This may be caused by poor design or often unclear and poorly
defined security properties and assumptions.

The ANR SCALP project aims at providing certified automated
verification methods for the computational security of
cryptosystems. The certification part is to be carried out with the
help of the Coq Proof assistant.

Requirements for the Postdoc position:

- A PhD in Computer Science or a related field with expertise in
  cryptography and/or proof assistants (preferably both).

- A strong publication record.

- Commitment and a cooperative attitude.

Applications :
- detailed CV, list of publications
- motivation letter (1 page),
- contact information for 2 references.

Duration : 12 months (possible extension for another 12 months).

Start date : September 2009

Deadline for application : 1st July 2009

SCALP project Homepage: http://scalp.gforge.inria.fr/

More information/application submission :
   Yassine.Lakhnech at imag.fr ,
   Philippe.Audebaud at ens-lyon.fr,
   Pierre.Corbineau at imag.fr


-- 
Pierre Corbineau          | Pierre.Corbineau at imag.fr
VERIMAG - Centre Équation | Tel: (+33 / 0) 4 56 52 04 42
2, avenue de Vignate      | Office nr B2G2
38610 GIÈRES - FRANCE     | http://www-verimag.imag.fr/~corbinea/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Pierre_Corbineau.vcf
Type: text/x-vcard
Size: 517 bytes
Desc: not available
Url : http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20090610/8bb99982/Pierre_Corbineau.bin