[TYPES/announce] One postdoctoral position in logics for concurrency - University of Urbino

[Pierluigi Graziani]

One postdoctoral position in logics for concurrency, with a particular
focus on reversible debugging, is available at the University of Urbino,
within the PRIN project DeKLA: *Developing Kleene Logics and their
Applications* (https://urldefense.com/v3/__https://sites.google.com/uniurb.it/dekla-project/__;!!IBzWLUs!XXAZ9-A6molrAvSDJNSgNjx4Obx3VYpjMmu_-Hf3yvs5G74A_Vhz_SihDSQ3PBLTSEJvJ0jbEwTz9NuAvNl3F3Ej3Rd4J0uOX9o0RdZh$ ).
The position is opened at the Department of Pure and Applied Science of the
University of Urbino (supervisor Claudio Mezzina).

Background in the use of modal logics and their applications to computer
science and social network phenomena are highly valued.

The position lasts one year (with the possibility of renewal).
The gross salary is 23.105,40 Euros.

The deadline for applications is January 20th, 2024.

Interested candidates can find the call on the pages
https://urldefense.com/v3/__https://www.uniurb.it/concorsi/7121__;!!IBzWLUs!XXAZ9-A6molrAvSDJNSgNjx4Obx3VYpjMmu_-Hf3yvs5G74A_Vhz_SihDSQ3PBLTSEJvJ0jbEwTz9NuAvNl3F3Ej3Rd4J0uOX4ZnspP1$ 
and
https://urldefense.com/v3/__https://www.uniurb.it/it/cdocs/BAR/7172-BAR-20122023145258-allegato-al-bando-di-concorso.pdf__;!!IBzWLUs!XXAZ9-A6molrAvSDJNSgNjx4Obx3VYpjMmu_-Hf3yvs5G74A_Vhz_SihDSQ3PBLTSEJvJ0jbEwTz9NuAvNl3F3Ej3Rd4J0uOXzHoBJD6$ 
 .

The contract's expected start is May 2024 (but a later start can be
negotiated).

Brief description of the project:

DeKLA (Developing Kleene Logics and their Applications) is an
interdisciplinary PRIN 2022 project involving logic, epistemology, and
computer science. It aims to develop further the theory of Kleene logics,
modal Kleene logics, and their applications in philosophy and computer
science. In particular, the project will focus on further exploring
external (weak) Kleene logics and modal logics based on strong and weak
Kleene logics, specifically emphasizing epistemic Kleene logics. The
logical methods developed will help enrich the study of the epistemology of
ignorance, fallible knowledge, and fake news by providing new formal
analysis models. Moreover, DeKLA will considerably enlarge the space of
applications of Kleene logics in computer science by introducing innovative
process algebraic methods based on Kleene logics and applying them to
concurrent programming and debugging theory.

Please refer to the project website for a more detailed description: <
https://urldefense.com/v3/__https://sites.google.com/uniurb.it/dekla-project/__;!!IBzWLUs!XXAZ9-A6molrAvSDJNSgNjx4Obx3VYpjMmu_-Hf3yvs5G74A_Vhz_SihDSQ3PBLTSEJvJ0jbEwTz9NuAvNl3F3Ej3Rd4J0uOX9o0RdZh$ >.

Contact for additional information: Claudio Antares Mezzina <
claudio.mezzina at uniurb.it>.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20231223/02b7d5d0/attachment-0001.htm>