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 oportunidade de colaborar com pesquisadores de universidades americanas (Stanford, Iowa) ou europeias (Inria, Liège), além de contribuir com o solucionador SMT cvc5 (https://cvc5.github.io/). Os valores das bolsas (negociáveis): - Mestrando: R$ 2.500,00 - Doutorando: R$ 4.200,00 As bolsas podem ser acumuladas com bolsas da CAPES/CNPq. Será fornecido auxílio instalação/deslocamento para estudantes de fora de Belo Horizonte. Valores poderão ser discutidos quando iniciado o contato. Interessados devem entrar em contato diretamente comigo pelo e-mail hbarb...@dcc.ufmg.br. -- Haniel Barbosa https://homepages.dcc.ufmg.br/~hbarbosa/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- 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 logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/87ilkduv7d.fsf%40gmail.com.
