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

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 : 15 June 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 -------------- 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/20090517/8568ef2d/Pierre_Corbineau.bin