coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] 3 Post-doc positions on semantics of PLs

From: Claudio Sacerdoti Coen <claudio.sacerdoticoen AT unibo.it>
To: "types-announce AT lists.seas.upenn.edu" <types-announce AT lists.seas.upenn.edu>, "eutypes AT cs.ru.nl" <eutypes AT cs.ru.nl>, "lfmtp AT inria.fr" <lfmtp AT inria.fr>, "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] 3 Post-doc positions on semantics of PLs
Date: Tue, 6 Apr 2021 16:29:46 +0000
Accept-language: it-IT, en-US
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=unibo.it; dmarc=pass action=none header.from=unibo.it; dkim=pass header.d=unibo.it; arc=none
Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=GuaCZNw/OGcEBKh5IevTmirKoIhQ0qDoTUkEHIK2eYs=; b=ae2CJugvwh5Lzpct4wi0D1SVmw/iY66XAje08tsZ+2chaUU62gZfcES5qTVotrCIT/fU935RZJ2zYmRGQiH4ep5USe1Ik3TynZ2WfkjiKVJUH1rvynhhsLcytkZAadAYk9f1sghgTkJZGHkoH17UT8OtItqrfNR7LozQQMacQsDAv1ctGgY6ABkQEWYgwRM12aXyuU2OAAwlBGcagjSLkEZwhic2tNXXOreC39REArmBykv3W4EK0h0RKJwYAXIKJyG9wTy5LnXD/qZ8Nb7S7gbIqsTdM9g94MYa3VqlDjlIfqe5X3h81lr09AA4Gn0VPi9gqZBz/VguRyeIDpBP/Q==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=ObyDiICVDe0j8o9d4Z/X2Lwvl46zfFrVVi6FmiJX/wzN6xIo4Qo8erYUXpkhFIKKs2zTtuSeFEoulCHAfBD0wcJWO4hjVdOwDSmrK9kQiVnYTz3OE1pqtllYPB87kL3zKWAhCV7lpxtb7eJYJvq8hhyhFnBkwwZkhRcdrpOqIp37FpmkLBZKifWAUOq7uSB3xzHfrqOihADT1LK4trmNyTUSoBpQkssNfsK8u+ctXanXzp0QPy+TiLwHf+sQnPNa5TPgYhS1GetBuAVWpWbrY3S9Hhi6xyo92cxOpbcYEpNhZVYIL5SvxYOSwZcA+gLr1psv9b2sVGtgg5c53tFw4g==
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=claudio.sacerdoticoen AT unibo.it; spf=Pass smtp.mailfrom=claudio.sacerdoticoen AT unibo.it; spf=Pass smtp.helo=postmaster AT EUR04-HE1-obe.outbound.protection.outlook.com
Ironport-hdrordr: A9a23:5gzsG6lsAKJ5BGeMMQcJdiG/clXpDfNgimdD5ilNYBxZY6WkvuizgfJezwP+jDYNRX0s8OrwQZWoa3Xa6JJz/M0tJr+kRgbroy+FK4tl4IvkzVTbakjD38Ra0rptdLU7Nc3oATFB/KTHySSxDtpI+rK62Y+yg+O29R1QZCFsL5pt9gJoTjuce3cZeCBjJb4UUKWR/dBGoT3IQwV1Uu2eCmMeV+bO4/3n/aiIXTc8CxQq6BaDgFqTgdbHOiOV0RsEXzREza1Kywn4ujf0/6Cy98y8oyWw60bo859UlNH9o+EiOOWwjKEuRgnEu0KJY559U7qJsHQUre2p9VY2gLD30nMdFvU2yH/XfGGzu1/P3QKI6kdI11bSjXyVhnnipta8fz4hF89d7LgpFCfk1w==
Ironport-phdr: A9a23:nU5QQxT9Y3r3YF44jSwLfuFOa9psoqeZAWYlgqEPu/d1aq2muq7aFwnh351FslbFUM3h5u5ejKKO6ua8AD1GuMnc+ylcOLV3FDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6PPn6FZDPhMqrye+y54fTYwJVjzahfL9+Nhq7oRjVu8UMnIdvKKY8xhTUrnZJZu9b2X5mKVWPkhjm+8y+5oRj8yNeu/Ig885PT6D3dLkmQLJbETorLXk76NXkuhffQwSP4GAcUngNnRpTHwfF9hD6UYzvvSb8q+FwxTOVPczyTbAzRDSi86JmQwLmhSsbKzI09nzch8pth6xZvR2hvQRyzY7Kbo+IKPpwcKDTfd0USmpAQslfWCNOD5igb4QUFecNIfpUopP/qlYIsBCwBROsBOTqyjJQmHL22bc10/k8HgHH2wwrAs8Av27Io9rrLqcdTOe1zLXJzT7ecf5W3iny6I7VeR0mvf6MWah/cdfMxkkuEAPJlE6Qppb5MDyLzOQCrm+b7/ZhVe2zjG4otQdxryOyxscqi4nGnYUVxkrF9SVl2Ys4I8CzR0Fnb9C+CpRQqz2aOJVsQsMkW2xltiI3x70btJO7ciYEyIkqygPCZ/GDcIWG7BLuWeKPLDp4hHxrd7Kyigiy/0Wi1uHwS9S43lZUoiRFkdTAqGwB2hrO4caJTft9+12u2TeJ1w3L9+FEJ0E0mrHcK5I7w74wipweulnAEC/ugEj7g7Oael859uS06enreLfrqoWBO4NqigzyKqAjl8KlDek3MgUCRWiW9OWm2LH+/UD0QK1GguM3n6XFvp3XINkXqrKjDAJU14sv9QqzACyj3dgGknQKLVdIdReZg4T3PVzFPer2Au2lg1u2lTdm3/DGMaPlApXKNnXNn7nuc6ph50NT0QY9z99R649NBrEGO/38RFX9tNvFDh8lKAO0xPvnCNNg2Y8EQWKPGKiZML/MvlCU+uIvIu6MZIkPtDb6Nvgl+/rujXg+mV8eZ6WmwZwXaHWgEvRnJUWWf2bsj88OHGsWpAYyUfDmhV+YXTNRfXq+Qrww6zEjBIKjF4jDR4StgLKb3Ce8G51bfnxJClSWHnf1aoqEWvAMZDiJIsB7jjMLS6KhRJIm1RGytQ/1171nIfTS+iADqJLj0tl16PbUlR0o9Dx0E9yR03uRQGFsgmMIWzg20bh7oUxzz1eDzbB4judDFd1T4vNJSh01OYTdz+x8EdDyWxjOcs2HSFa8Wt+mGy0+Tsotw98SZEZwA8mtjhfa3yazH7AVk6GLC4cv/6LH33nxIt59xGzc2KkgiVkmWMpPOne8iq5x7QiAT7LOxg+Fhr6nbuEV2ijK6WGIwEKKvVpES0hrXKzeG20Ha03Q69n1+wmKG6O/Ebk8dwJHz8mfLKBHQtnolkldAuzuMc+Yfnq8nWH2CBqVkPfEJof3Z3QF0T71A1NCiR1V+3LMfVwzGzuwu2/FJDd1U0jyJUXop6024ne1S1Ms5wCMdUxokbSvsFZBgfKZV+s737QeuS5npS8iWB731NXPTtGEugBJfaNGYNp77k0NnTbSsBU4NZi9JYhjgEQfekJ5pRW9+Q9wD9BrlcE3oHIthDF7Iq+C3FRddnuz2p32cuncLmDv8BGoLbXf0VzE3NGK+6wI5fIQtlPitgbvF1Z0oCYv6MVcz3bJvsaCNwEVS5+kCi4fx11Bv7jfJxIFycbR3HxoP7Ozt1fqxtQoDuxjywryJr93AOa/DAb3VvYiKY22MuVCs0WvbxgDeuFOpvZcF/PjTOOP3euQBMglnD+iigxvzb1Hih7J1wclD+nC0tAC3u2S2RaBW3HkllC9v8vrmIdCIzYPAm64ziuiD4lUNPQaQA==

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

[Coq-Club] 3 Post-doc positions on semantics of PLs, Claudio Sacerdoti Coen, 04/06/2021