[TYPES/announce] 3 Post-doc positions on semantics of PLs

[Davide Sangiorgi]

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.sangiorgi at gmail.com