Modelos de Distribuição
[Fechado]
Descrição da Oportunidade
- Estudar a biblioteca de Zippers disponível em Python e desenvolver bibliotecas de programação estratégica e gramática de atributos para Python. Estudar outras linguagens de programação; - 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 artigo 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;- 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 07 Sep 2022 a 20 Sep 2022
[Fechado]
Centro
Laboratório de Software Confiável