<div dir="ltr"><span id="gmail-docs-internal-guid-2de4880d-7fff-ca70-f8d4-59b211ded2d3"><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"><span style="font-size:12pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Expressions of interests in two postdoctoral positions in Logic and Computer Science (Cagliari & Urbino)</span></p><br><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"><span style="font-size:12pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">The Universities of Cagliari and Urbino will shortly open calls for two post-doctoral positions in Logic (in Cagliari for 18 months) and Logic for Concurrency  and Reversible Debugging (in Urbino for 12+6 months) within the  the PRIN project DeKLA: Developing Kleene Logics and their Applications </span></p><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"><span style="font-size:12pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">(</span><a href="https://urldefense.com/v3/__https://sites.google.com/uniurb.it/dekla-project/__;!!IBzWLUs!SoKniOOKa7W6Bw_b6C0v8-zSaNk99DrePzIrf7h699-Fo-3sbdGYVCoOAQ4CHFGa69wkjcaM5Xh6kEQeJuxlHEjH-cXmVGk$" style="text-decoration-line:none"><span style="font-size:12pt;font-family:Arial,sans-serif;background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;text-decoration-line:underline;vertical-align:baseline">https://sites.google.com/uniurb.it/dekla-project/</span></a><span style="font-size:12pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">).</span></p><br><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"><span style="font-size:12pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">We are seeking for candidates with a background in: </span></p><ul style="margin-top:0px;margin-bottom:0px"><li dir="ltr" style="list-style-type:disc;font-size:12pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline;white-space:pre"><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt" role="presentation"><span style="font-size:12pt;background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">non-classical logics, modal logics, universal algebra and algebraic logic (Cagliari)</span></p></li><li dir="ltr" style="list-style-type:disc;font-size:12pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline;white-space:pre"><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt" role="presentation"><span style="font-size:12pt;background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">logics for concurrency, with a particular focus on reversible debugging (Urbino)</span></p></li></ul><br><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"><span style="font-size:12pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Background in the use of modal logics and their applications to computer science and social network phenomena are highly valued.</span></p><br><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"><span style="font-size:12pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Candidates (for the application to Urbino) should have a basic knowledge of the Italian language.</span></p><br><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"><span style="font-size:12pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">The positions will be opened at the Department of Mathematics and Computer Science of the University of Cagliari (supervisor S. Bonzio), within the </span><a href="https://urldefense.com/v3/__https://sites.google.com/view/alophis/home__;!!IBzWLUs!SoKniOOKa7W6Bw_b6C0v8-zSaNk99DrePzIrf7h699-Fo-3sbdGYVCoOAQ4CHFGa69wkjcaM5Xh6kEQeJuxlHEjHkGJ_uV4$" style="text-decoration-line:none"><span style="font-size:12pt;font-family:Arial,sans-serif;background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;text-decoration-line:underline;vertical-align:baseline">ALOPHIS</span></a><span style="font-size:12pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"> research group, and at the Department of Pure and Applied Sciences of the University of Urbino (supervisor C. A. Mezzina), within the </span><a href="https://urldefense.com/v3/__https://sites.google.com/a/uniurb.it/synergia__;!!IBzWLUs!SoKniOOKa7W6Bw_b6C0v8-zSaNk99DrePzIrf7h699-Fo-3sbdGYVCoOAQ4CHFGa69wkjcaM5Xh6kEQeJuxlHEjHIT0mguM$" style="text-decoration-line:none"><span style="font-size:12pt;font-family:Arial,sans-serif;background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;text-decoration-line:underline;vertical-align:baseline">SYNERGIA</span></a><span style="font-size:12pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"> research group.</span></p><br><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"><span style="font-size:12pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">The official calls will be advertised before the end of 2023, but we encourage potential interested applicants to get in touch with us to express their interest. </span></p><br><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"><span style="font-size:12pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">There is no specific deadline, but we encourage applicants to express their interest before the 22nd of October, 2023.</span></p><br><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"><span style="font-size:12pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Stefano Bonzio (</span><a href="mailto:stefano.bonzio@gmail.com" style="text-decoration-line:none"><span style="font-size:12pt;font-family:Arial,sans-serif;background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;text-decoration-line:underline;vertical-align:baseline">stefano.bonzio@unica.it</span></a><span style="font-size:12pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">), </span></p><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"><span style="font-size:12pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Claudio Antares Mezzina (</span><a href="mailto:claudio.mezzina@uniurb.it" style="text-decoration-line:none"><span style="font-size:12pt;font-family:Arial,sans-serif;background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;text-decoration-line:underline;vertical-align:baseline">claudio.mezzina@uniurb.it</span></a><span style="font-size:12pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">),</span></p><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"><span style="font-size:12pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Pierluigi Graziani (</span><a href="mailto:pierluigi.graziani@uniurb.it" style="text-decoration-line:none"><span style="font-size:12pt;font-family:Arial,sans-serif;background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;text-decoration-line:underline;vertical-align:baseline">pierluigi.graziani@uniurb.it</span></a><span style="font-size:12pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">).</span></p><br><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"><span style="font-size:12pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">In case you're still a PhD student, please also indicate the presumed date of the PhD defense.</span></p><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"><span style="font-size:12pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"> </span></p><br><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"><span style="font-size:12pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Brief description of the project</span></p><p dir="ltr" style="line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"><span style="font-size:12pt;font-family:Arial,sans-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">—-------------</span></p><span style="font-size:12pt;font-family:Arial,sans-serif;color:rgb(33,33,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">DeKLA (</span><span style="font-size:12pt;font-family:Arial,sans-serif;color:rgb(33,33,33);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Developing Kleene Logics and their Applications</span><span style="font-size:12pt;font-family:Arial,sans-serif;color:rgb(33,33,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">) is an interdisciplinary PRIN 2022 project, involving logic, epistemology and computer science. It aims to further develop 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, with a particular emphasis on epistemic Kleene logics. The logical methods developed will help enrich the study of the epistemology of ignorance, fallible knowledge and of fake news, by providing new formal models of analysis. 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.</span></span><br></div>