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
 (hbarb...@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/

-- 
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 acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/87cyqeslxo.fsf%40gmail.com.

Responder a