Bolsa de Iniciação Científica 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$ 1.140,00 [https://fapesp.br/valores/bolsasnopais]
Duração da bolsa: 12 meses com expectativa de extensão por mais 4 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 tornar a busca por provas mais eficiente. O estudante de iniciação científica participará das etapas fundamentais do desenvolvimento da plataforma, incluindo a representação computacional de fórmulas e provas, a implementação de heurísticas iniciais de busca, a geração e organização de bases de dados de derivações e a realização de análises experimentais. Ao longo do projeto, o estudante também poderá colaborar na definição de métricas de avaliação, na comparação entre diferentes estratégias de busca e na preparação de artigos e outros materiais de divulgação dos resultados. É 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 à graduação e ao projeto de pesquisa, conforme as normas da FAPESP. Durante a vigência da bolsa, o estudante não poderá manter estágio, emprego ou outra atividade profissional remunerada.

Requisitos: Para se candidatar, o estudante deverá ter concluído o Bacharelado em Ciência e Tecnologia (BC&T) e estar matriculado em um dos seguintes cursos da UFABC: Ciência da Computação, Matemática ou Ciência de Dados. 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. É desejável que tenha cursado disciplinas de lógica e programação orientada a objetos, além de demonstrar interesse por programação, inteligência artificial, lógica computacional e pesquisa científica.

Como se candidatar: Enviar histórico escolar 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 IC".