[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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/
[email protected]
