Bolsa de Investigação para Mestre | Ciências da Computação

Encontra-se aberto concurso para a atribuição de 2 Bolsas de Investigação no âmbito do projeto intitulado KLEE: Modelação Coalgébrica e Análise para Biologia Sintética Computacional, cofinanciado pelo FEDER através do COMPETE 2020.

Período da candidatura: 23 de abril a 6 de maio.

Requisitos de admissão: Estudantes inscritos em programa de doutoramento em Ciências da Computação, Matemática ou áreas afins, com mestrado numa destas áreas.

Plano de trabalhos: Pretende-se com esta bolsa desenvolver uma nova semântica (fully fuzzy) para a linguagem de programação Fuzzy Arden Syntax. Este tratamento passará pelo desenvolvimento matemático de um domínio de interpretação de programas no espaço das multi-relações fuzzy.

Local de Trabalho: O trabalho será desenvolvido no CIDMA do Departamento de Matemática da da Universidade de Aveiro.

Duração da bolsa: A bolsa terá à duração de 3 meses, com início previsto em 1 de Junho de 2020, eventualmente renovável até ao limite do prazo de execução do projeto.