Bolsa de Investigação para Mestre | Lógica Matemática

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 Matemática, Ciências da Computação ou áreas afins, com mestrado numa destas áreas.

Plano de trabalhos: Pretende-se com esta bolsa estudar novas noções de simulação, bissimulação e bissimilaridade para as várias lógicas dinâmicas fuzzy introduzidas no projecto. O plano de trabalho integrará o estudo de preservações de propriedades por estas relações, assim como a sua aplicação no estudo de modelos biológicos especificados nestas lógicas.

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 4 meses, com início previsto em 1 de Junho de 2020, eventualmente renovável até ao limite do prazo de execução do projeto.