Post-doc in security and static analysis
POST-DOC in SECURITY and STATIC PROGRAM ANALYSIS at INRIA
A 2-year post-doctoral position is available in the
Lande research group at IRISA/INRIA Rennes.
The position is funded by the European IST project "SECSAFE"
that also includes partners from Imperial College (GB), University of
Aarhus (DK) and Trusted Logic (F).
The goal of the project is to develop formal techniques for verifying
security properties of programs. Activities of the project include
- formal specification of security properties,
- design of static analyses for security,
- developing semantic foundations for security.
These techniques will be applied to mobile code and to the Java Card
language for programming smart cards. For more information on the
project, consult http://www.doc.ic.ac.uk/~siveroni/secsafe. The
successful candidate is expected to have experience in one or more of
the areas of semantics of programming languages, verification, static
program analysis and security.
The research is to be conducted at IRISA, a joint research institute
between INRIA, CNRS, Univ. of Rennes and INSA, located in Rennes,
France (http://www.ville-rennes.fr) . The successful candidate will
join the Lande research team (http://www.irisa.fr/lande).
For further information, contact:
IRISA, Campus de Beaulieu, F-35042 Rennes, France
Tel: +33 2 99 84 74 78