Logic List Mailing Archive

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

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.bonzio@unica.it<mailto:stefano.bonzio@unica.it>).


--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php