Is the Job related to staff position within a Research Infrastructure?: No
Offer Description
Activities and context
- 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;
- To organize, and participate, in seminars, conferences and workshops, and maintain a high rate of publications.
Mandatory 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.
Desirable requirements
Good command of English, spoken and written, and (if foreign) interest in communicating in Portuguese.
How to apply
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; 4) Certificate of Completion of the Doctoral Degree; 5) At least one recommendation letter. All applications must be sent by e-mail with the subject line “PD Position at CLE/FAPESP Project RatioLog” to Walter Carnielli (walterac@unicamp.br) c/c to: Mr. Rodrigo C. da Silva (rcsilva2@unicamp.br).
This opportunity is open to candidates of any nationality. The selected candidate will receive a FAPESP Post-Doctoral fellowship in the amount of R$ 12,570.00 monthly and a research contingency fund, equivalent to 10% of the annual value of the fellowship which should be spent on items directly related to the research activity.
Where to apply
Website: http://www.fapesp.br/oportunidades/9715
Additional Information
Eligibility criteria
- Eligible destination country/ies for fellows: Brazil
- Eligibility of fellows: country/ies of residence: All
- Eligibility of fellows: nationality/ies: All
Work Location(s)
Number of offers available: 1
Company/Institute: Centro de Lógica, Epistemologia e História da Ciência, Universidade Estadual de Campinas (CLE-Unicamp)
Country: Brazil
State/Province: São Paulo
City: Campinas
Contact
State/Province: São Paulo
City: São Paulo
Website: http://www.fapesp.br/oportunidades/
Street: R. Pio XI, 1500 - Alto da Lapa
Postal Code: 05468-901
