Logic List Mailing Archive

Postdoctoral position in stochastic games, Bordeaux (France)

Post-doctoral position in
 	ANR project Stoch-MC
 	Stochastic Models: Scalable Model Checking

A one-year postdoc position is available at Universit de Bordeaux in LaBRI
on the topics of the ANR project Stoch-MC ( http://perso.crans.org/~genest/stoch.html )
to start in October 2016 (not strict).

We seek candidates with a PhD in computer science or mathematics
and a strong interest in one or several of the following topics:
* stochastic games
* Markov decision processes
* probabilistic automata
* any other topic related to the Stoch-MC ANR project.

Inquiries and applications should be sent to
hugo.gimbert@cnrs.fr

Best regards,
Hugo Gimbert
LaBRI, CNRS, Universit de Bordeaux
http://www.labri.fr/perso/gimbert/
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam