As atividades serão conduzidas no Centro de Lógica, Epistemologia e História da Ciência da Unicamp (foto: divulgação)

Pós-doutorado em lógica na Unicamp

Bolsista vai integrar a equipe do projeto “Racionalidade, lógica e probabilidade: RatioLog”

Pós-doutorado em lógica na Unicamp

Bolsista vai integrar a equipe do projeto “Racionalidade, lógica e probabilidade: RatioLog”

As atividades serão conduzidas no Centro de Lógica, Epistemologia e História da Ciência da Unicamp (foto: divulgação)

 

Agência FAPESP – O Projeto Temático “Racionalidade, lógica e probabilidade: RatioLog” dispõe de uma Bolsa FAPESP de Pós-Doutorado. O prazo de inscrição se encerra em 2 de outubro.

As atividades serão conduzidas no Centro de Lógica, Epistemologia e História da Ciência da Universidade Estadual de Campinas (CLE-Unicamp). O objetivo é generalizar as já conhecidas técnicas introduzidas por Blok e Pigozzi para a algebrização de lógicas no contexto de semânticas não determinísticas.

O pós-doutorando participará de pesquisa que envolve o estudo e desenvolvimento da teoria de hiper-reticulados visando uma possível generalização das ferramentas da lógica algébrica abstrata.

Mais informações sobre a vaga e as inscrições em: www.fapesp.br/oportunidades/7402/.

A oportunidade de pós-doutorado está aberta a brasileiros e estrangeiros. O selecionado receberá Bolsa de Pós-Doutorado da FAPESP no valor de R$ 12.000,00 mensais e Reserva Técnica equivalente a 10% do valor anual da bolsa para atender a despesas imprevistas e diretamente relacionadas à atividade de pesquisa.

Caso o bolsista de PD resida em domicílio fora da cidade na qual se localiza a instituição-sede da pesquisa e precise se mudar, poderá ter direito a um auxílio-instalação. Mais informações sobre a Bolsa de Pós-Doutorado da FAPESP estão disponíveis em www.fapesp.br/bolsas/pd.

Outras vagas de bolsas, em diversas áreas do conhecimento, estão no site FAPESP-Oportunidades, em www.fapesp.br/oportunidades.

 

Compartilhe

Facebook
Twitter
Pinterest
LinkedIn

Guia Local:

Leia Também:

Onde fazer Testes e Exames em Bangu, RJ: Guia Completo de Saúde, Vistoria e Educação 2026

Meta Title:
Testes e Exames em Bangu, RJ | Saúde, Vistoria Veicular e Testes Educacionais 2026

Meta Description:
Descubra em Bangu, RJ onde realizar exames clínicos e de imagem, vistoria veicular autorizada pelo Detran-RJ e testes educacionais (ENEM, TOEFL, supletivo). Endereços, documentos necessários, dicas de agendamento e acessibilidade. Agende com segurança e agilidade!

Palavras-chave principais:
– Testes e Exames em Bangu, RJ
– Clínicas e laboratórios Bangu
– Vistoria veicular Detran-RJ
– Simulados ENEM Bangu
– Exames de imagem RJ
– Testes educacionais Bangu
– Agendamento exames Bangu
– Endereços saúde Bangu

Leia na Ìntegra»

Guia de Bangu, Rio de Janeiro em 2026: Clima, Infraestrutura e Mobilidade Urbana

Guia de Bangu, Rio de Janeiro em 2026: explore clima (média anual de 23 °C, 1.150 mm de chuva), infraestrutura moderna (saneamento 100%, energia, internet banda larga, saúde e educação digitalizadas) e mobilidade urbana integrada (Supervia, ônibus com corredores exclusivos, ciclovias). Saiba sobre projetos futuros (metrô até 2027, hub de inovação, arborização urbana) e descubra a melhor época para visitar, opções de lazer ao ar livre e dicas práticas para moradores e turistas.

Leia na Ìntegra»

Deixe um comentário

O seu endereço de e-mail não será publicado. Campos obrigatórios são marcados com *

WhatsApp
WhatsApp Atendimento via WhatsApp
Olá! 👋
Preencha os dados abaixo para iniciar a conversa.
✓

Mensagem enviada com sucesso!

Obrigado pelo seu contato. Nossa equipe entrará em contato em breve.

Rolar para cima