Logic List Mailing Archive

Postdoctoral positions in stochastic model checking, Rennes (France)

Postdoc(s) in stochastic model checking at INRIA Rennes.
---------------------------------------------------------------------------

Subject 1: The objective of the position is to develop new techniques
to reason on Systems of Systems. The main task of the postdoc will be
to propose new specification languages for such systems as well as new
statistical model checking techniques for verifying their properties.

Subject 2: The objective of the position is to develop new statistical
model checking algorithms for planning and devices for assisted
living.

Both positions are funded by two new EU projects and take place in a
large effort of INRIA to develop new statistical model checking
techniques/tools for the design of large size systems (other projects
are already funding 4 researchers working full time on the topic). In
addition to working on the projects' topics, the postdocs will also
interact with other researchers in the institute and are encouraged to
investigate additional research topics.

Profile: Applicants should have a doctoral degree in computer science
and a strong background in mathematics (statistics, probability
theory). Candidates should also be familiar with
probabilistic/statistical model checking, compositional reasoning,
performance analysis, and timed systems. Excellent programming skills
are a plus.

Positions: Both positions are available starting December 2011 for a
maximal duration of 24 months. Starting date can be postponed.

How to apply: Send a CV (with academic background, list of
publications, and contact references) and a motivation letter to
Axel.Legay@inria.fr