Bolsas de mestrado e doutorado na UFMG

[Haniel Barbosa]

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
hbar...@dcc.ufmg.br.

--
Haniel Barbosa
https://homepages.dcc.ufmg.br/~hbarbosa/