BEGIN:VCALENDAR PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN VERSION:2.0 CALSCALE:GREGORIAN METHOD:PUBLISH BEGIN:VEVENT DTSTAMP:20260812T223528Z DTSTART;TZID=Europe/London:20261015T234500 DTEND;TZID=Europe/London:20261015T234500 SUMMARY:Postdoctoral Position in Logic\, Probability\, and Rationality CLE–UNICAMP\, Brazil UID:20260813T075529Z-iCalPlugin-Grails@fe80:0:0:0:1c50:cdff:fedd:b74b%3 TZID:Europe/London DESCRIPTION:Call for Applications\nThe Centre for Logic\, Epistemology and the History of Science (CLE) at\nUNICAMP. Brazil\, invites applications for a postdoctoral position\,\nfunded by FAPESP\, under the supervision of Prof. Walter Carnielli. The\nposition is linked to the FAPESP Thematic Project "Rationality\, Logic\nand Probability &ndash\; RatioLog" (Process 2020/16353-3).\n \;\nInternational candidates\, regardless of nationality or any other\ncondition\, are welcome to apply.\n \;\nCLE-UNICAMP is one of the first and highest-ranked academic\ninstitutions in Latin America fully dedicated to the areas of Logic\,\nEpistemology\, Philosophy\, and the History of Science\, promoting\ninterdisciplinary research through seminars and scientific meetings\,\npublications\, and academic exchange with research groups and\ninstitutions in Brazil and around the world.\n \;\nProject: Logic\, Probability and Rationality: Tools for Robust Reasoning\n \;\nThis project develops a unified framework combining logic\,\nprobability\, and causal inference to support robust models of rational\nreasoning. It aims to integrate paraconsistent and paracomplete logics\n(particularly Logics of Formal Inconsistency and Logics of Evidence\nand Truth) with Bayesian inference and Pearl's causal models\,\naddressing reasoning under contradiction\, uncertainty\, and\nintervention.\nMain objectives:\n \;\n--Develop semantic frameworks combining non-classical logics with\nprobabilistic reasoning and causal inference\n-- Extend Logics of Formal Inconsistency (LFIs) and Logics of Evidence\nand Truth (LETs) with probabilistic and causal operators\n--Formalize rational argumentation involving contradictory\, uncertain\,\nand counterfactual reasoning\n-- Implement prototype software integrating logical\, probabilistic\,\nand causal inference tools\n- To organize\, and participate\, in seminars\, conferences and workshops\, and maintain a high rate of publications\n \;\nCandidate requirements:\n \;\nApplicants should have a strong publication record in international\njournals and demonstrated expertise in at least three of the following\nareas:\n \;\n1)Non-classical logics\, including their semantics and proof methods\n2)Probability theory and its mathematical and philosophical foundations\n3)Foundations of AI\n4)Theoretical and/or applied computer science\n5)Abstract algebraic logic\n \;\nCandidates must hold a PhD in Logic\, Mathematics\, Computer Science\, or\nPhilosophy\; the thesis must be in the area of Logic and must be\nofficially approved at the time of application.\n \;\nRequired documentation:\n1)A research project along the lines described above (up to 10 pages\,\nexcluding bibliographical references)\n2)A complete CV\, including a list of publications\n3)A Curricular Summary\, following FAPESP's required format:\nhttps://fapesp.br/6351/instructions-for-the-elaboration-of-a-curricular-summary\n4)Certificate of Completion of the Doctoral Degree\n5) At least one recommendation letter\n \;\nHow to apply:\nAll applications must be sent by e-mail with the subject line "PD\nPosition at CLE/FAPESP Project RatioLog" to:\nProf. Walter Carnielli walterac@unicamp.br>\nwith a copy to:\nMr. Rodrigo Cesar da Silva (CLE administrative assistant) rcsilva2@unicamp.br>\n \;\nFellowship benefits:\n- Duration: 12 months\, renewable for 12 months\n- Stipend: BRL 12\,570.00 per month (approx. US$ 2\,450.00 per month)\, tax-free\n- Technical Reserve (additional funding for scientific activities such\nas conferences\, academic visits\, equipment\, books\, etc.): BRL\n15\,000.00 per year (approx. US$ 2\,900.00 per year)\, tax-free\n- Possibility of a 6-month research stay abroad at a renowned\ninstitution (Research Internship Abroad\, RIA)\, subject to specific\nconditions\, upon approval by FAPESP and by the supervisor.\n \;\nApplication deadline: October 15th\, 2026\, 23:59 (Sã\;o Paulo time)\nEstimated project start date: January 30th\, 2027\n \;\nFor more information\, visit the RatioLog project website:\nhttps://groupfortheoreticalandappliedlogic.my.canva.site/ratiolog2\n \;\nFor additional information\, please contact: Walter Carnielliwalterac@unicamp.br>\n \; ORGANIZER: METHOD:PUBLISH END:VEVENT END:VCALENDAR