O Centro de Lógica, Epistemologia e História da Ciência da Universidade Estadual de Campinas (CLE-Unicamp) seleciona um bolsista de pós-doutorado da FAPESP em Lógica para o projeto "Racionalidade, Lógica e Probabilidade" (RatioLog). As inscrições vão até 15 de outubro de 2026, e o início está previsto para janeiro de 2027.

Coordenado por Walter Alexandre Carnielli, o projeto investiga ferramentas para um raciocínio robusto. O bolsista vai desenvolver arcabouços semânticos que combinem 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 e formalizar a argumentação racional em contextos de raciocínio contraditório, incerto e contrafactual. Também deverá implementar um protótipo de software, participar da organização de eventos científicos e manter intensa atividade de publicação.

A bolsa tem valor mensal de R$ 12.570,00, com atuação em Campinas. Os candidatos devem ter doutorado em Lógica, Matemática, Ciência da Computação ou Filosofia, com tese na área de Lógica já aprovada, sólido histórico de publicações internacionais e experiência em pelo menos três destas áreas: lógicas não clássicas, teoria da probabilidade, fundamentos de inteligência artificial, ciência da computação teórica ou aplicada e lógica algébrica abstrata. A fluência em inglês é desejável.

A candidatura inclui projeto de pesquisa de até dez páginas, CV com lista de publicações, resumo curricular no formato FAPESP, certificado de doutorado e ao menos uma carta de recomendação. Os documentos devem ser enviados para walterac@unicamp.br, com cópia para rcsilva2@unicamp.br e o assunto "PD Position at CLE/FAPESP Project RatioLog".

Mais informações: https://fapesp.br/oportunidades/racionalidade-logica-e-probabilidade:-ratiolog/9715/