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: Ativo