Bolsa de PD em Lógica

Post-Doctoral Fellowship in Logic

• Atividades e contexto Activities and context

  Desenvolver arcabouços semânticos combinando lógicas não clássicas com raciocínio probabilístico e inferência causal. Estender as Lógicas da Inconsistência Formal (LFIs) e as Lógicas da Evidência e Verdade (LETs) com operadores probabilísticos e causais.

  Formalizar a argumentação racional envolvendo raciocínio contraditório, incerto e contrafactual.

  Implementar protótipos de software integrando ferramentas de inferência lógica, probabilística e causal.

  • 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.

• Requisitos obrigatórios Mandatory requirements

  Candidatos devem possuir um sólido histórico de publicações em periódicos internacionais e demonstrar expertise em pelo menos três das seguintes áreas: Lógicas não clássicas, incluindo suas semânticas e métodos de prova Teoria da probabilidade e seus fundamentos matemáticos e filosóficos, Fundamentos da Inteligência Artificial, Ciência da computação teórica e/ou aplicada Lógica algébrica abstrata.

  Os candidatos devem possuir título de Doutor em Lógica, Matemática, Ciência da Computação ou Filosofia; a tese deve ser na área de Lógica .

  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

• Requisitos desejáveis Desirable requirements

  Fluência escrita e falada na língua inglesa, e possibilidade de comunicação em português, se estrangeiro.

  Fluency in written and spoken English, and basic communication skills in Portuguese, if foreig

• Como se candidatar How to apply

  Documentação Exigida: Projeto de pesquisa nas linhas descritas acima (até 10 páginas, excluindo referências bibliográficas). CV completo, incluindo lista de publicações. Súmula Curricular, seguindo o formato exigido pela FAPESP: https://fapesp.br/6351/instructions-for-the-elaboration-of-a-curricular-summary Certificado de Conclusão do Doutorado. Pelo menos uma carta de recomendação.

  Inscrições: Todas as candidaturas devem ser enviadas por e-mail com o assunto "PD Position at CLE/FAPESP Project RatioLog" para: Prof. Walter Carnielli: walterac@unicamp.br, com copia para rcsilva2@unicamp.br

  All applications must be sent by e-mail with the subject line "PD Position at CLE/FAPESP Project RatioLog" to: • Prof. Walter Carnielli: walterac@unicamp.br with a copy to:

  • Mr. Rodrigo Cesar da Silva (CLE administrative assistant): rcsilva2@unicamp.br