Fwd: CfA: 2 Postdocs Logic (1 year each), University of Cagliari (Italy), deadline: 19 Jan 2024

[Joao Marcos]

---------- Forwarded message ---------

Two postdoctoral positions in Logic are available at the University of
Cagliari (Italy), within the the PRIN project DeKLA: Developing Kleene
Logics and their Applications
(https://sites.google.com/uniurb.it/dekla-project/).
The positions are opened at the Department of Mathematics and Computer
Science of the University of Cagliari (supervisor S. Bonzio), within
the ALOPHIS<https://sites.google.com/view/alophis/home> research
group.


We are seeking for candidates with a background in: non-classical
logics, modal logics, universal algebra and algebraic logic.

Each position has the duration of 1 year (with possibility of renewal).
The gross salary is 23240 euros, corresponding to a net salary of
around 1700 euros/month.

The deadline for applications is January 19th 2024.
Interested candidates can find the call at the page
https://dirpersonale.unica.it/concorsi/?page=assegni&bando=1307 .
Applications are processed through the PICA website.
The possession of a PhD title is not mandatory for applying.

Expected starting of the contracts: April 2024 (but a later start can
be negotiated).

Shortlisted candidates will be asked, during the interview, to explain
how they aim to contribute to the development of the project.

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.

Please, refer to the project
website<https://sites.google.com/uniurb.it/dekla-project/about-the-project>:
https://sites.google.com/uniurb.it/dekla-project/about-the-project
for a more detailed description.

Contact for additional information: Stefano Bonzio
(stefano...@unica.it<mailto:stefano...@unica.it>).