Logic List Mailing Archive

Postdoctoral position in statistical model checking algorithms, Rennes (France)

Postdoc position at INRIA Rennes

Context: The objective of the position is to develop new statistical model 
checking algorithms for rigorous design of embedded systems.

This position takes place in a large effort of INRIA to develop new 
statistical model checking techniques/tools for the design of large size 
systems. In addition to working on the projects' topics, the postdoc will 
also interact with other researchers in the institute and is encouraged to 
investigate additional research topics.

Duration: 24 months

How to apply: Send a CV and a motivation letter to
Axel.Legay@inria.fr