Modelos de distribuição
[Fechado]
Descrição da Oportunidade
- Definir técnicas de fusão de estratágias e implementar a técnica nesse mesmo formalismo: como uma transformação baseada em estratégias; - Análise exaustiva de performance das bibliotecas desenvolvidas e da optimização obtida com a técnica de fusão; - Estudar o impacto da fusão em computação de alto desempenho (HPC); - Escrever um artifo científico a reportar os resultados obtidos.
Habilitações Académicas
- Mestrado em Engenharia Informática.
Requisitos Mínimos
- Média de licenciatura igual ou superior a 14/ 20;- Experiência com Haskell;- Experiência com programação estratégica.
Fatores de Preferência
Experiência com gramáticas de atributos; Experiência de investigação em programação funcional.
Período de candidatura
Desde 10 May 2023 a 23 May 2023
[Fechado]
Centro
Laboratório de Software Confiável