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