Bolsa de Mestrado Fapesp em Lógica computacional

Áreas: Lógica computacional & Aprendizado de máquina
N.o do processo Fapesp: 2025/15917-4 [https://bv.fapesp.br/pt/metapesquisa/?q=2025/15917-4]
Título do projeto: Aprendendo a Provar: Integrando Aprendizado de Máquina em Provadores de Teoremas de Łukasiewicz
Pesquisador responsável: Sandro Márcio da Silva Preto
Valor da bolsa: R$ 3.270,00 [https://fapesp.br/valores/bolsasnopais]
Duração da bolsa: 24 meses com expectativa de extensão por mais 6 meses para colaboração no exterior junto ao IIIA-CSIC [https://www.iiia.csic.es] (Barcelona, Catalunha, Espanha)
Unidade: Centro de Matemática, Computação e Cognição
Data limite para inscrições: 18 de setembro

Contexto e atividades: O projeto Aprendendo a Provar (Learning to Prove) tem como objetivo desenvolver um provador automático de teoremas para a lógica proposicional de Łukasiewicz com infinitos valores, integrando técnicas de lógica computacional e aprendizado de máquina para orientar a busca por provas. O estudante de mestrado participará ativamente da implementação, modularização e avaliação do motor de provas, bem como da automação dos experimentos. Suas atividades incluirão a geração e o pré-processamento de bases de dados de derivações, o treinamento e a validação de modelos de aprendizado de máquina, incluindo redes neurais em grafos, e a integração desses modelos à arquitetura do provador. O estudante também contribuirá para a execução de benchmarks, a análise dos resultados, a documentação da plataforma e a preparação de publicações científicas. É esperada ainda a candidatura a uma Bolsa Estágio de Pesquisa no Exterior (BEPE) no IIIA-CSIC, em Barcelona, sob a supervisão do Prof. Felip Manyà.

Sobre a bolsa: A bolsa exige dedicação integral ao curso de mestrado e ao projeto de pesquisa, conforme as normas da FAPESP. O exercício concomitante de outras atividades profissionais é admitido pela FAPESP apenas em caráter excepcional e mediante autorização prévia.

Requisitos: Estar concluindo ou ter já ter concluído a graduação. São desejáveis uma sólida formação matemática, especialmente em lógica, matemática discreta ou teoria da computação, e bons conhecimentos de programação, particularmente de programação orientada a objetos e de bibliotecas de aprendizado de máquina. Além disso, é importante ter fluência em inglês, tanto para a leitura e a compreensão de textos técnicos quanto para a comunicação com colaboradores estrangeiros.

Como se candidatar: Enviar currículo Lattes e histórico escolar da graduação para o email Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo., com o assunto "INSCRIÇÃO Bolsa Mestrado".