We are inviting applications applications for postdoctoral research fellowships in programming languages and distributed systems. The proposed starting date is September 2022, with room for flexibility. The position is for a duration of up to three years

Application deadline: 22 May 2022.

The positions are financed by the project “Choreographies for Connected IT Systems”, led by Fabrizio Montesi. The project deals with the development of theory and tools based on programming languages for the development of distributed systems. Examples of topics that the project deals with include choreographic programming, compilers, distributed programming, microservices, session types, semantics of programming languages, and interactive theorem proving. The project is flexible, with opportunities to delve into single topics or to explore synergies among them.

Interested candidates can find further details at this page and direct any questions to the project lead, Fabrizio Montesi.