[TYPES/announce] Expressions of interests in two postdoctoral positions in Logic and Computer Science

[Claudio Mezzina]

Expressions of interests in two postdoctoral positions in Logic and
Computer Science (Cagliari & Urbino)


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

https://urldefense.com/v3/__https://sites.google.com/uniurb.it/dekla-project/__;!!IBzWLUs!SfeSZI4BMcimb_87twE6txKF8BPT3dr-SaZOSRhWzxJCJBHcHBGYakvqytP1JBqRoR15EK0YPbnR1P7ipUaw6TzeuhPezww$ 


We are seeking for candidates with a background in:

- non-classical logics, modal logics, universal algebra and algebraic logic
(Cagliari)

- logics for concurrency, with a particular focus on reversible debugging
(Urbino)


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

The positions will be opened at the Department of Mathematics and Computer
Science of the University of Cagliari (supervisor S. Bonzio), within the
ALOPHIS research group, and at the Department of Pure and Applied Sciences
of the University of Urbino (supervisor C. A. Mezzina).

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.


There is no specific deadline, but we encourage applicants to express their
interest before the 22nd of October, 2023.


Stefano Bonzio (stefano.bonzio at unica.it),

Claudio Antares Mezzina (claudio.mezzina at uniurb.it),

Pierluigi Graziani (pierluigi.graziani at uniurb.it).


In case you're still a PhD student, please also indicate the presumed date
of the PhD defense.




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 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20231008/5d0ab771/attachment.htm>