Linguagens de programação
[Fechado]
Descrição da Oportunidade
Esta bolsa foca-se em técnicas quantitativas no contexto das linguagens de programação. Mais especificamente, em teorias equacionais quantitativas usadas para verificar se dois programas são aproximadamente equivalentes ou não. Pretende-se com esta bolsa, fazer um estudo completo e aprofundado de tais teorias; estudo que servirá posteriormente de base para desenvolver teorias equacionais parciais quantitativas. A parte quantitativa será baseada num "quantale", dos quais se destacam o "quantale" Booleano, o "quantale" de Godel, e o "quantale" de Lawvere. A linguagem de foco é o "lambda-calculus" e diferentes variantes, e.g. linear, Cartesiano, "graded" etc...
Habilitações Académicas
Frequência em programa doutoral em Informática ou Engenharia Informática.
Requisitos Mínimos
- Desenvolvimento de trabalhos em Haskell;- Conhecimentos de teoria das categorias, programação probabilística e híbrida.
Fatores de Preferência
- Conhecimentos de Haskell e mónadas; - Conhecimentos de teoria das categorias; - Conhecimentos de programação probabilística e híbrida; - Bom percurso académico.
Período de candidatura
Desde 31 Aug 2023 a 13 Sep 2023
[Fechado]
Centro
Laboratório de Software Confiável