Engenheiro de software de pesquisa – SMITE / DCC / UFMG
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
Tipo: Bolsa
Situação: Encerrado