Post-Doc Position
=================
The LIAFA laboratory (University Paris 7 and CNRS)
coordinates the european project ADVANCE (Advanced Validation
Techniques for Telecommunication protocols) started in October 2000.
Details can be found on the web-page:
verif.liafa.jussieu.fr/~haberm/ADVANCE/main.html
For this project we have several postdoctoral positions available.
The project's objectives and short description:
-----------------------------------------------
Telecommunication protocols are critical systems of very high complexity.
The goal of the project is to develop a new generation of validation tools
based on advanced and novel techniques allowing to tackle problems that
arise in the validation of modern protocols, and that are beyond the scope
of the state-of-the-art methods and tools.
The objectives of this project are (1) to develop a general methodology for
the specification and automated validation of telecommunication protocols,
taking into account important aspects such as: complex timing constraints,
use of unbounded data structures like counters and queues, parametrization,
mobility, etc. (2) to provide tool support for this methodology,
and (3) to prove it substantially advances the state of the art by applying
it to industrially relevant case studies.
Experience shows that the verification of realistic systems cannot be
achieved without applying a tight combination of several approaches and
analysis techniques. We are convinced that the next generation validation
tools should be built by embedding several specialized tools in a single
framework. These tools should apply complementary approaches and be able
to communicate and cooperate easily. The goal of our project is to produce
such a framework.
Our approach consists of a combination of powerful abstraction techniques,
and efficient validation procedures based on reachability analysis of
finite and infinite-state systems. These techniques are embedded in a
common formal framework based on the model of extended automata, i.e.,
automata with data structures. All usual models are particular instances
of this general model.
Eligibility:
-----------
The candidate has to satisfy the following requirements :
- to have a PhD
- to be available to start between October and December 2001.
Conditions:
----------
The post-doc position is for 12 months, with an extension of another 12
months possible. It includes a net salary of 13,000 FF (2000 Euros)
per month and a health insurance.
Location:
--------
LIAFA is located in the south-east of Paris very close to public
transportation, easily accessible from anywhere in Paris.
Contact:
-------
If you want to apply for this position, please send a curriculum vitae and
the names and e-mail addresses of 2 referees as soon as possible
imperatively before September 1st, 2001, to:
[log in to unmask]
(http://www.liafa.jussieu.fr/~abou)
|