Oportunidade Investigação
Lógicas coalgébricas para a verificação de sistemas bio-complexos
[Fechado]
Descrição da Oportunidade
A bolsa é aberta no âmbito da tarefa T3 do projecto KLEE, tendo como objectivo o desenvolvimento de uma teoria geral da lógica dinâmica estocástica. A nova teoria será ilustrada na geração de uma lógica dinâmica concreta com funcionalidades adaptadas a sistemas biológicos e sua posterior aplicação à validação de buo-componentes
Habilitações Académicas
Mestrado em Matemática ou Ciências da Computação
Perfil Requerido
Conhecimentos aprofundados em teoria das categorias
Fator de preferência
Publicações científicas em lógica, álgebra ou teoria das categorias.
Período de candidatura
Desde 26 Sep 2018 a 10 Oct 2018
[Fechado]
Cluster / Centro
Informática / Laboratório de Software Confiável