Oi, pessoal. Agradeço se vocês puderem divulgar entre potenciais interessados. Sandro Preto
=============================================== Chamada para Bolsa de Mestrado em Ciência da Computação === Lógica Computacional === 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à. Mais detalhes: https://propes.ufabc.edu.br/oportunidades/bolsa-de-mestrado-fapesp-em-logica-computacional -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAN2tFBR8H%3D6qSCEi%3DDXFw%2B%3DjxcXuLudnHQVhawA64WbLmOEdRA%40mail.gmail.com.
