Cookies
Usamos cookies para melhorar nosso site e a sua experiência. Ao continuar a navegar no site, você aceita a nossa política de cookies. Ver mais
Aceitar Rejeitar
  • Menu
Oportunidade Investigação
Submeter candidatura Final Application Draft Consultar edital
Oportunidade Investigação

Metodos Formais

[Fechado]

Descrição da Oportunidade

- Desenvolvimento de variações de semânticas multi-relacionais fuzzy e probabilísticas para conectores Reo, usando como caso de estudo sistemas medicos baseados na sintaxe de Arden.(4M) - Especificação de uma lógica dinâmica para verificar e especificar conectores via refinamento (4M) - Estudo de noções de equivalência para estes modelos fuzzy (bissimulacões e refinamentos) e as relações com a lógica proposta. (4M)

Habilitações Académicas

MSc em Ciências da Computação ou Matemática

Requisitos Mínimos

Mestre com alguma experiência de investigação na área científica do projeto, e que demonstre ter domínio na respectiva área (lógicas fuzzy e modelos de coordenação).

Fatores de Preferência

Participação em projetos de investigação em métodos formais, com ênfase na análise algébrica de modelos computacionais. Conhecimento de linguagens concorrentes. Boa média de curso

Período de candidatura

Desde 26 May 2020 a 08 Jun 2020

[Fechado]

Cluster / Centro

Informática / Laboratório de Software Confiável