[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[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.dall...@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.dall...@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.
