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 de Inconsistência Formal (LFIs) e as Lógicas de 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 um protótipo de software integrando ferramentas lógicas, probabilísticas e de inferência causal;

  - Organizar e participar de congressos, seminários e oficinas e manter alta atividade de publicação.

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

• Requisitos obrigatórios Mandatory requirements

  Os candidatos devem possuir um forte histórico de publicações em periódicos internacionais e experiência comprovada em pelo menos três das seguintes áreas: 1) Lógicas não-clássicas, incluindo sua semântica e métodos de prova; 2) Teoria da probabilidade e seus fundamentos matemáticos e filosóficos; 3) Fundamentos de IA; 4) Ciência da computação teórica e/ou aplicada; 5) Lógica algébrica abstrata. Os candidatos devem possuir doutorado em Lógica, Matemática, Ciência da Computação ou Filosofia; a tese deve ser na área de Lógica e deve estar oficialmente aprovada no momento da candidatura.

  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

  Ter boa fluência em inglês oral e escrito e, se estrangeiro, interesse em se comunicar em português.

  Good command of English, spoken and written, and (if foreign) interest in communicating in Portuguese.

• Como se candidatar How to apply

  Documentação exigida: 1) Projeto de pesquisa seguindo as linhas descritas acima (até 10 páginas, excluindo as referências bibliográficas); 2) CV completo, incluindo lista de publicações; 3) Resumo Curricular, seguindo o formato exigido pela FAPESP; 4) Certificado de Conclusão do Doutorado; 5) Ao menos uma carta de recomendação. As candidaturas devem ser enviadas por e-mail com assunto “PD Position at CLE/FAPESP Project RatioLog” para Walter Carnielli (walterac@unicamp.br), colocando rcsilva2@unicamp.br em cópia.

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