<div dir="ltr"><div class="gmail_default"><span style="font-family:arial,sans-serif;font-size:large">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: </span><i style="font-family:arial,sans-serif;font-size:large">Developing Kleene Logics and their Applications</i><span style="font-family:arial,sans-serif;font-size:large"> (</span><a href="https://urldefense.com/v3/__https://sites.google.com/uniurb.it/dekla-project/__;!!IBzWLUs!XXAZ9-A6molrAvSDJNSgNjx4Obx3VYpjMmu_-Hf3yvs5G74A_Vhz_SihDSQ3PBLTSEJvJ0jbEwTz9NuAvNl3F3Ej3Rd4J0uOX9o0RdZh$" target="_blank" style="font-family:arial,sans-serif;font-size:large">https://sites.google.com/uniurb.it/dekla-project/</a><span style="font-family:arial,sans-serif;font-size:large">).</span><br></div><div class="gmail_default"><font size="4" face="arial, sans-serif">The position is opened at the Department of Pure and Applied Science of the University of Urbino (supervisor Claudio Mezzina).<br><br>Background in the use of modal logics and their applications to computer science and social network phenomena are highly valued.<br><br>The position lasts one year (with the possibility of renewal).<br>The gross salary is 23.105,40 Euros.<br><br>The deadline for applications is January 20th, 2024.<br><br>Interested candidates can find the call on the pages<br><a href="https://urldefense.com/v3/__https://www.uniurb.it/concorsi/7121__;!!IBzWLUs!XXAZ9-A6molrAvSDJNSgNjx4Obx3VYpjMmu_-Hf3yvs5G74A_Vhz_SihDSQ3PBLTSEJvJ0jbEwTz9NuAvNl3F3Ej3Rd4J0uOX4ZnspP1$" target="_blank">https://www.uniurb.it/concorsi/7121</a><br>and<br><a href="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$" target="_blank">https://www.uniurb.it/it/cdocs/BAR/7172-BAR-20122023145258-allegato-al-bando-di-concorso.pdf</a> .<br><br>The contract's expected start is May 2024 (but a later start can be negotiated).<br><br>Brief description of the project:<br><br>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.<br><br>Please refer to the project website for a more detailed description: <<a href="https://urldefense.com/v3/__https://sites.google.com/uniurb.it/dekla-project/__;!!IBzWLUs!XXAZ9-A6molrAvSDJNSgNjx4Obx3VYpjMmu_-Hf3yvs5G74A_Vhz_SihDSQ3PBLTSEJvJ0jbEwTz9NuAvNl3F3Ej3Rd4J0uOX9o0RdZh$" target="_blank">https://sites.google.com/uniurb.it/dekla-project/</a>>.<br><br>Contact for additional information: Claudio Antares Mezzina <<a href="mailto:claudio.mezzina@uniurb.it" target="_blank">claudio.mezzina@uniurb.it</a>>.</font></div></div>