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.