[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
3 POST-DOC POSITIONS on the semantics of programming languages
We have 3 post-doc positions at the Department of Computer Science of
the University of Bologna. The research theme is coinductive proof
techniques and abstract interpretation, with application to concurrent
and/or functional languages. Types are expected to play a significant
role. The position should start sometimes in 2021, the exact date is
negotiable. Each position covers 1 year, with possibilities of
extension for another year.
The funding comes from a national project whose other sites are Verona
(R. Giacobazzi), Padova (F. Ranzato), and Pisa (F. Bonchi).
The work will be carried out in close connection with the ERC project
DIAPASoN (led by Ugo Dal Lago, U. Bologna), which also focuses on
semantics of programming languages, using tools and techniques based on
logical relations, bisimulation, game semantics, and linear logic.
If you are interested, or you know someone interested, or for more
details, do not hesitate to contact me (deadline: 8 April 2021)
Thanks,
Davide Sangiorgi
http://www.cs.unibo.it/~sangio/
davide.sangio...@gmail.com
