[TYPES/announce] postdoc positions on coinductive techniques and probabilistic models

[Davide Sangiorgi]

---------------------------------------------------------
              Call for 2 Postdoc Positions
----------------------------------------------------------

We are seeking applicants for two 1-year post-doctoral research
positions on the topic of coinductive techniques for probabilistic
models, especially models based on the lambda-calculus or process
calculi. The coinductive techniques are meant to be essentially
techniques based on the concept of bisimulation.

The positions are offered at the University of Bologna (Italy), and at
the Ecole Normale Superieure de Lyon (France), respectively. This work
is in collaboration with the Inria Comete Team (France), and Shanghai
Jiao Tong University (China), in the context of the project PACE:
   http://perso.ens-lyon.fr/daniel.hirschkoff/pace/

The monthly net salary is around 2100 Euros in both cases.

The starting date for each postdoc can be negotiated, but should be
between February and November 2015.

REQUIREMENTS:
* Ph.D. in Computer Science (completed or near completion)
* For the position in Bologna, most important is some research
     background on probabilistic models.
   Other useful background (for both positions) may be
     lambda-calculus, process calculi, type systems, coinductive
     methods, coalgebra, Kleene algebra.

APPLICATION:
* Please send a curriculum, a publication record and a statement of
    interest via e-mail to Ugo Dal Lago (ugo.dallago at unibo.it), Daniel
    Hirschkoff (daniel.hirschkoff at ens-lyon.fr) and
    Davide Sangiorgi (Davide.Sangiorgi at gmail.com); the statement should
    also specify the preferred location, if any.

* Deadline: December 30, 2014.