[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