[Prev][Next][Index][Thread]

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



PhD and  POST-DOC POSITIONS AVAILABLE
                         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
properties,
dynamic analysis and intrusion detection, application to Java Card and
the
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 
including:

  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
filled. 

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
IRISA
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