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 uma vaga para engenheiro de software de pesquisa (40 horas).  A contratação é via bolsa (isenta de tributos), por 1 ano, R$10.000,00 (negociável), e pode ser estendida havendo interesse de ambas as partes.

O candidato selecionado irá trabalhar no desenvolvimento e na manutenção do solucionador SMT cvc5 (https://cvc5.github.io/), um sistema open-source escrito em C++ e amplamente utilizado na academia e na indústria para a automação de métodos formais. Exemplos de empresas que financiam o desenvolvimento do cvc5, e tem contratado antigos desenvolvedores do sistema, são Amazon Web Services e VMware.

Tarefas específicas incluem prover suporte a múltiplas plataformas, desenvolvimento de APIs em diferentes linguagens, escrita de documentação e tutoriais, automação da estrutura de testes e integração contínua, e otimização do uso de memória.

Requisitos:

• Graduação em nível superior nas áreas de engenharia ou computação;
• Experiência com programação em C/C++;
• Proficiência em fala/escrita em língua inglesa.

Habilidade desejadas:

• CMake, Python, CI/CD, Slurm

Benefícios:

• Bolsa no valor de R$10.000,00 (negociável) por 1 ano, estendível;
• Oportunidade de colaborar com grupos de pesquisa internacionais de excelência (Stanford University, The University of Iowa);
• Experiência profissional em área especializada e de alta demanda nos EUA/Europa.

Interessados devem entrar em contato com Haniel Barbosa pelo e-mail: hbarbosa@dcc.ufmg.br