Postdoctoral Position in Logic, Probability, and Rationality at CLE–UNICAMP [BR]

The Centre for Logic, Epistemology and the History of Science (CLE) at UNICAMP invites applications for a postdoctoral position supervised by Prof. Walter Carnielli. The position is linked to the FAPESP Thematic Project "Rationality, Logic and Probability – RatioLog". This project develops a unified framework combining logic, probability, and causal inference to support robust models of rational reasoning. It aims to integrate paraconsistent and paracomplete logics with Bayesian inference and Pearl's causal models, addressing reasoning under contradiction, uncertainty, and intervention. 

CLE-UNICAMP is one of the first and highest-ranked academic institutions in Latin America fully dedicated to the areas of Logic, Epistemology, Philosophy, and the History of Science, promoting interdisciplinary research through seminars and scientific meetings, publications, and academic exchange with research groups and institutions in Brazil and around the world.

Main objectives:

• Develop semantic frameworks combining non-classical logics with probabilistic reasoning and causal inference
• Extend Logics of Formal Inconsistency (LFIs) and Logics of Evidence and Truth (LETs) with probabilistic and causal operators
• Formalize rational argumentation involving contradictory, uncertain, and counterfactual reasoning
• Implement prototype software integrating logical, probabilistic, and causal inference tools

Candidate requirements:

Candidates must hold a PhD in Logic, Mathematics, Computer Science, or Philosophy; the thesis must be in the area of Logic and must be officially approved at the time of application.

Applicants should have a strong publication record in international journals and demonstrated expertise in at least three of the following areas:

1. Non-classical logics, including their semantics and proof methods
2. Probability theory and its mathematical and philosophical foundations
3. Foundations of AI
4. Theoretical and/or applied computer science
5. Abstract algebraic logic

How to apply:
All applications must be sent by e-mail with the subject line "PD Position at CLE/FAPESP Project RatioLog" to:  Prof. Walter Carnielli with a copy to Mr. Rodrigo Cesar da Silva (CLE administrative assistant).

Required documentation:

1. A research project along the lines described above (up to 10 pages,
   excluding bibliographical references)
2. A complete CV, including a list of publications
3. A Curricular Summary, following FAPESP's required format:
   https://fapesp.br/6351/instructions-for-the-elaboration-of-a-curricular-summary
4. Certificate of Completion of the Doctoral Degree
5. At least one recommendation letter