[TYPES/announce] Postdoc Positions within the DIAPASoN Project

[Ugo Dal Lago]

Postdoc Grants within the ERC Consolidator Grant “Differential Program Semantics”
http://site.unibo.it/diapason/

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 will be accomplished by generalizing four major frameworks of program semantics, traditionally used for giving semantics to, comparing, proving properties of, and controlling the usage of resources of programs, namely logical relations, bisimulation, game semantics, and linear logic.

The ideal candidate would have experience in:
    •    Program Semantics
    •    Mathematical Logic
    •    Programming Language Design
and in particular in the sub-areas of program semantics cited above. Expertise in all those sub-areas is very 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<mailto:ugo.dallago at unibo.it>> if you have more questions about the project, the required background, Italy, or the position itself. Ugo Dal Lago can also provide a detailed description of the overall research project.

The first round of applications will be accepted until April 15. Positions are for 2 years. To apply, please send the following documents to ugo.dallago at unibo.it<mailto:ugo.dallago at unibo.it>:
    •    Curriculum vitae;
    •    List of publications;
    •    Research statement;
    •    At least two recommendation letters.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190322/4a808361/attachment-0001.html>