Oportunidades - Bolsas de Pós-doutorado em Automatização de Raciocínio - DCC/UFMG

[Haniel Barbosa]

Olá,

Temos duas bolsas de pós-doutorado na Universidade Federal de Minas Gerais
(UFMG) para o grupo de pesquisa SMITE, que trabalha com técnicas baseadas em SMT
para aumentar a escalabilidade e confiança de aplicações de métodos formais. Os
bolsistas contribuirão para o projeto, financiado pela DARPA, PEGISUS: Proof
EnGineering and Integration with Satisfiability modUlo theorieS. As atividades
serão no escopo de implementação de técnicas eficientes de verificação de
demonstrações em um novo formato baseado em SMT-LIB 3, melhoramento da busca e
produção de demonstrações no solucionador SMT cvc5, e conexão entre
solucionadores SMT e assistentes de demonstração.

É necessário ter doutorado em ciência da computação ou algum campo próximo, com
uma boa formação em automatização de raciocínio, métodos formais, ou lógica. O
candidato ideal também teria:

- Conhecimento e experiência com C++, Rust, ou Lean
- Inglês avançado para escrita e conversação
- Capacidade de trabalhar em um ambiente colaborativo
- Um forte compromisso com excelência em pesquisa

Esta é uma posição de 40h/semana para trabalhar em Belo Horizonte, Brasil. A
posição tem uma bolsa (sem impostos) de R$10000,00, bem como financiamento para
viagens de trabalho e para cobrir despesas de instalação para candidatos fora de
Belo Horizonte. A posição pode ser estendida baseado em desempenho e
disponibilidade de recursos. As vagas ficarão abertas até serem preenchidas.

*Data de início*: Imediatamente.

*Candidatura*: Por favor envie um email para Haniel Barbosa
(hbar...@dcc.ufmg.br) com seu CV (incluindo uma lista de publicações), uma
carta curta explicando porque você se encaixa na vaga, e os nomes de ao menos
duas referências. A seleção será baseada em currículo e entrevistas (online)
para candidatos pré-selecionados.

*Colaborações*: Os candidatos selecionados terão a oportunidade de colaborar
ativamente com a Stanford University, a University of Iowa, e a Bar-Ilan
University, no contexto do projeto PEGISUS e em tópicos relacionados.

--
Haniel Barbosa
https://hanielbarbosa.com/