[TYPES/announce] Two Postdoc Positions within the DIAPASoN Project

[Ugo Dal Lago]

[Apologize for multiple postings.]

================================================================
Call for Expression of Interest for
Two Postdoc positions in Programming Language Semantics
================================================================

We are looking for postdocs in the context of the ERC Consolidator Grant “Differential 
Program Semantics”. Traditionally, program semantics is centered around the notion 
of program identity, that is to say of program equivalence: a program is identified with 
its meaning, and programs are considered as equal only if their meanings are the same. 
DIAPASoN's goal is rather to study differences between programs as a constitutive and
informative concept. This is accomplished by generalizing four major frameworks 
of program semantics, namely logical relations, coinduction, game semantics, and linear logic.

The ideal candidate would have experience in:
    •    Program Semantics
    •    Mathematical Logic
    •    Program Verification
and in particular in the sub-areas of program semantics cited above. Expertise in all 
those sub-areas is rare, so candidates who are strong in just some of them are 
encouraged to apply. Please contact Ugo Dal Lago <ugo.dallago at unibo.it> if you 
have more questions about the project, the required background, Italy, or the positions 
themselves. 

The first round of applications will be accepted until April 23rd 2021. Positions are for 2 years,
and could start at any moment between August/September 2021 and February 2022.
More information about the DIAPASoN project can be found here:

http://diapason.unibo.it

To apply, please send the following documents to ugo.dallago at unibo.it:
    •    Your CV;
    •    A brief research statement;
    •    The names and email addresses of at least two scientists able and willing to provide 
a reference for you.