Teoria das linguagens de programação
[Fechado]
Descrição da Oportunidade
Esta bolsa é parte de uma missão para o desenvolvimento de fundamentos quantitativos para sistemas híbridos, capazes de lidar com probabilidades e noções de distância entre programas de uma forma adequada. Isto é útil para raciocinar de uma forma rigorosa sobre erros e ruídos presentes na programação híbrida. A bolsa foca-se, em particular, no caso de combinar tempo com probabilidades, que mais tarde servirá como base para estender a combinação a processos físicos arbitrários. Especificamente, o objetivo desta bolsa é o de desenvolver uma linguagem de programação que suporte operações probabilísticas e chamadas de espera, uma semântica correspondente e, posteriormente, implementar estes resultados em Haskell. A linguagem resultante será de seguida integrada no Lince, um interpretador de programas híbridos que está disponível online.
Habilitações Académicas
- Aluno de Mestrado em Informática, Ciências da Computação e afins.
Requisitos Mínimos
- Conhecimentos básicos da linguagem Haskell e sistemas híbridos.
Fatores de Preferência
Bom desempenho académico; Experiência com a linguagem Haskell, parsers, mónadas e sistemas híbridos.
Período de candidatura
Desde 01 Feb 2023 a 14 Feb 2023
[Fechado]
Centro
Laboratório de Software Confiável