PhD and post-doc positions in formal program construction and analysis

                         IRISA/INRIA Rennes, France

Several doctoral and post-doctoral positions are available within the
Lande research group at IRISA/INRIA Rennes. The main research
interests of the group are software design and validation, program
analysis and verification, software architectures and debugging.

The positions are funded by collaborative projects involving 
different research groups and industrial companies.
The appointed candidates are expected to work in one of the 
following topics:
- Software architectures: formalisation, verification, analysis,
applications to industrial case studies, study of product line
architectures, functional and non-functional properties of software
architectures, etc.
- Security: formalisation, verification and static analysis of security
dynamic analysis and intrusion detection, application to Java Card and
development of software for smartcards.
- Program analysis: tools and algorithms for implementation of static
analyses, integration of static analyses into programming environments

Progress on these topics requires a number of complementary skills 

  Formal methods and program verification
  Software architectures
  Security of information systems
  Program analysis (static or dynamic) and typing
  Programming language semantics and design
  Operating systems  
  Java, Java Card

Candidates should have experience in one or more of the above areas.
Applications will be evaluated from now on until the positions are

The research is to be conducted at IRISA, a joint research institute
between INRIA, CNRS, University of Rennes and INSA, which is located in
Rennes, France. The successful candidates will join the Lande research
team (http://www.irisa.fr/lande). 

For further information, contact:
Thomas Jensen
Campus de Beaulieu
F-35042 Rennes, France

Tel: +33 2 99 84 74 78
Fax: +33 2 99 84 71 71
Email: Thomas.Jensen@irisa.fr