### Logic List Mailing Archive

## Two postdoctoral positions in stochastic / statistical model checking, Rennes (France)

INRIA Rennes is opening 2 postdoc positions and one engineer position in
the area of stochastic/statistical model checking Positions are for 2
years, but duration can be negotiated. Postdoc positions are available
starting August 2012; the engineer position is available starting
September 2012.
Description:
------------
Postdoc Position 1: The objective of this position is to develop the next
generation of stochastic/statistical model checking algorithms for systems
with emergent behaviour (complex systems, systems of systems, interfaces,
component-based design ...).
Postdoc Position 2: The objective of this position is to develop new CEGAR
techniques for stochastic systems. Such techniques will be used within a
planing algorithm implemented in the cognitive engine of a robot.
Engineer Position: The engineer will support the implementation of the
results obtained by the two postdocs in our newly developed toolset
PLASMA.
Postdocs are supposed to dedicate at least 50% on the project, but will be
free to initiate new research directions. Both positions take place in the
context of EU projects (info on demand).
Desired Profiles:
-------- ---------
Postdocs need a PhD in computer science or mathematics.
The Engineer needs a masters degree in computer science.
How to apply/obtain information:
--------------------------------
Send your CV/Questions to
axel.legay@inria.fr
http://people.irisa.fr/Axel.Legay/
Location:
---------
http://www.inria.fr/centre/rennes