Ciências exactas e naturais

Descrição da Oportunidade

Coordenação e realização de projetos de I&D e valorização do conhecimento, preparação de candidaturas de projetos de I&D, gestão de equipas e orientação de investigadores juniores, produção científica orientada a revistas e conferências internacionais, intervenção nas comunidades científica e profissional, bem como coordenação e participação em iniciativas de divulgação científica e tecnológica.
investigação e supervisão científica em métodos formais para coordenação e arquitetura de software.

Perfil Requerido

Doutoramento e investigação pós-doutoral em métodos formais aplicados à coordenação e arquitectura de software. Conhecimentos sólidos nos fundamentos lógico-algébricos das Ciências de Computação.

Fator de preferência

Contactos internacionais no domínio da investigação; Coordenação de projectos de investigação; Supervisão de alunos de pós-graduação

Período de candidatura

Desde 27 Jul 2018 a 31 Aug 2018

[Fechado]

Cluster / Centro

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