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

[Claudio Sacerdoti Coen]

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 positions 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.

Instructions for applying may be found here:
https://bandi.unibo.it/ricerca/assegni-ricerca?id_bando=53293
(then, follow the link "Call for applications", in English, or
"Bando", in Italian; you may ignore the "attachments" in the page)

In case of problems, or for more information,
do not hesitate to contact me or Davide Sangiorgi
(deadline: 12 April 2021)

Thanks,
C.S.C.

-- 
Prof. Claudio Sacerdoti Coen
Department of Computer Science and Engineering
University of Bologna