Bolsas de mestrado e doutorado na UFMG
---------- Forwarded message --------- De: Haniel Barbosa < hanielbbarbosa@gmail.com > Date: sex., 21 de out. de 2022 11:07 Subject: [Logica-l] Bolsas de mestrado e doutorado na UFMG To: Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA < logica-l@dimap.ufrn.br > Olá, Favor divulgar a possíveis interessados: ++++++ O SMITE, grupo de pesquisa na UFMG para o desenvolvimento de métodos e ferramentas baseados em SMT para aplicações em métodos formais, está com bolsas disponíveis para alunos de mestrado e doutorado. O prazo de inscrição para o mestrado é 11/11/2022. A seleção de doutorado é em fluxo contínuo. O edital: https://lnkd.in/dJH7S3s As bolsas são para trabalhar em temas relacionados aos tópicos abaixo: - Novas técnicas para solucionadores SMT - Demonstrações auditáveis para compliance - Verificação formal (por exemplo para smart contracts) - Síntese de programas Dependendo do tema, os alunos terão a oport...