[TYPES/announce] 2-year post-doctoral position in Bologna on coinduction/abstract interpretation

[Davide Sangiorgi]

  2-year POST-DOC POSITION

We are considering to fund a 2-year post-doc position at the  Department 
of Computer Science of the University of Bologna.  The research themes 
will be coinductive proof techniques and abstract interpretation, with 
application to concurrent and/or functional languages. Types are 
expected to play a significant role.  The funding comes from a project 
in which the other sites are  Verona (R. Giacobazzi), Padova (F. 
Ranzato), and Pisa (F. Bonchi).  The position should start sometimes in 
2021, the exact date is negotiable.

If you are interested, or you know someone interested, or for more 
details, do not hesitate to contact me.

Thanks,
Davide Sangiorgi

http://www.cs.unibo.it/~sangio/
davide.sangiorgi at gmail.com