Postdoctoral Position in Logic, Probability, and Rationality , CLE–UNICAMP, Brazil

[Walter Carnielli]

Postdoctoral Position in Logic, Probability, and Rationality
CLE–UNICAMP, Brazil


Call for Applications
The Centre for Logic, Epistemology and the History of Science (CLE) at
UNICAMP. Brazil, invites applications for a postdoctoral position,
funded by FAPESP, under the supervision of Prof. Walter Carnielli. The
position is linked to the FAPESP Thematic Project "Rationality, Logic
and Probability – RatioLog" (Process 2020/16353-3).

International candidates, regardless of nationality or any other
condition, are welcome to apply.

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.

Project: Logic, Probability and Rationality: Tools for Robust Reasoning

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
(particularly Logics of Formal Inconsistency and Logics of Evidence
and Truth) with Bayesian inference and Pearl's causal models,
addressing reasoning under contradiction, uncertainty, and
intervention.
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:

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

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.

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

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 <walt...@unicamp.br>
with a copy to:
Mr. Rodrigo Cesar da Silva (CLE administrative assistant) <rcsi...@unicamp.br>

Fellowship benefits:
- Duration: 12 months, renewable for 12 months
- Stipend: BRL 12,570.00 per month (approx. US$ 2,450.00 per month), tax-free
- Technical Reserve (additional funding for scientific activities such
as conferences, academic visits, equipment, books, etc.): BRL
15,000.00 per year (approx. US$ 2,900.00 per year), tax-free
- Possibility of a 6-month research stay abroad at a renowned
institution (Research Internship Abroad, RIA), subject to specific
conditions, upon approval by FAPESP and by the supervisor.

Application deadline: October 15th, 2026, 23:59 (São Paulo time)
Estimated project start date: January 30th, 2027

For more information, visit the RatioLog project website:
https://groupfortheoreticalandappliedlogic.my.canva.site/ratiolog2

For additional information, please contact: walt...@unicamp.br

Walter Carnielli

--
========================
Walter Carnielli
CLE and Department of Philosophy
University of Campinas –UNICAMP, Brazil

AI2- Advanced Institute for Artificial Intelligence
Blog https://waltercarnielli.com/