[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
---------------------------------------------------------
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.dall...@unibo.it), Daniel
Hirschkoff (daniel.hirschk...@ens-lyon.fr) and
Davide Sangiorgi (davide.sangio...@gmail.com); the statement should
also specify the preferred location, if any.
* Deadline: December 30, 2014.
