Bolsa de iniciação científica – Visualização de certificados de solucionadores SMT – DCC/UFMG


A bolsa é para trabalhar em um visualizador, para navegadores, de certificados produzidos por solucionadores SMT, em particular do sistema cvc5 (https://cvc5.github.io/). O objetivo é prover visualizações customizáveis através de grafos e tabelas que permitam um melhor entendimento dos certificados e do funcionamento de solucionadores SMT.
O projeto de pesquisa é financiado pela Amazon Web Services (AWS), que usa o cvc5 em diversas aplicações envolvendo segurança (https://aws.amazon.com/security/provable-security/).
Valor: R$800,00/mês
Período para se candidatar: até 15/10/2021
Início previsto: Nov/2021
Duração: 1 ano (com possibilidade de renovação e aumento)
Requisitos:
– saber programação em C++ e em JavaScript (desejável ter o quarto período do curso integralizado),
– não ter vínculo empregatício,
– ter disponibilidade de 20 horas semanais,
– bom conhecimento de lógica computacional é desejável mas não obrigatório.
Vantagens e oportunidades:
– possibilidade de publicação de artigos científicos
– possibilidade de estágio na AWS no contexto desse projeto
– contato com pesquisadores internacionais (Stanford, Iowa, Inria)
++++++
Interessados devem enviar um email para hbarbosa@dcc.ufmg.br com seu histórico e um mini-currículo.



Início divulgação: 21/09/2021
Data limite para candidatura: 15/10/2021

Professor: - Haniel Barbosa

Tipo: Bolsa

Público: - Graduandos

Situação: Ativo


Email para candidatura: hbarbosa@dcc.ufmg.br