Bolsa de investigação para aluno de doutoramento (1 vaga)

Publicado 23 Maio 2020

NOVA.id.FCT - Associação para a Inovação e Desenvolvimento da FCT

Lisboa (Construção Civil)


1. Área Científica : Engenharia Informática

2. Requisitos de admissão :

a. Detentor do grau de mestre em Engenharia Informática, Ciência de Computadores, Matemática Aplicada, ou outro diploma com uma oferta formativa relevante para a execução da bolsa.

b. Frequência de um programa doutoral numa das áreas acima referidas.

3. Plano de trabalhos : Verificação dedutiva, em Why3, de algoritmos e estruturas de dados imperativas.

a. O bolseiro começará por estudar abordagens para a verificação de programas com memória heap em Why3, nomeadamente a verificação baseada na técnica ?mini-heaps?.

b. Desenvolvimento de uma extensão ao Why3 baseada em lógica da separação. Inicialmente, esta extensão terá a forma de uma biblioteca de lógica da separação, diretamente escrita em WhyML. Posteriormente, extensões ao próprio core do Why3 deverão ser investigadas. Em particular, o bolseiro deverá propor a implementação de um sistema de execução simbólica para programas escritos em WhyML.

c. Aplicação das técnicas de verificação desenvolvidas a programas escritos diretamente em OCaml. O bolseiro deverá propor uma extensão à linguagem GOSPEL e às ferramentas de tradução de código OCaml para WhyML, a fim de suportar implementações e não apenas código de interface. Programa OCaml que manipulam heap serão assim traduzidos para um programa WhyML, verificável usando as extensões ao Why3 baseadas em lógica da separação.

d. Construção de uma biblioteca de algoritmos e estruturas de dados imperativas OCaml, formalmente verificadas em Why3.

4. Legislação e regulamentação aplicável : Lei Nº. 40/2004, de 18 de Agosto, alterado e republicado pelo Decreto-lei Nº 202/2012 de 27 de Agosto (Estatuto do Bolseiro de Investigação Científica) e alterado pelo Decreto-Lei nº 233/2012 de 29 de Outubro, pela Lei nº12/2013 de 29 de Janeiro, pelo Decreto-Lei nº 89/2013, de 9 de Julho e pelo Decreto-Lei n.º 123/2019, de 28 de Agosto; Regulamento de Bolsas de Investigação da Fundação Para a Ciência e a Tecnologia, I.P. em vigor ( https://www.fct.pt/apoios/bolsas/docs/RegulamentoBolsasFCT2019.pdf ).

5. Local de trabalho : O trabalho será desenvolvido no NOVA Laboratory for Computer Science and Informatics / Departamento de Informática da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa sob a orientação científica Professor Doutor António Ravara e do Doutor Mário Pereira.

6. Duração da bolsa : A bolsa terá à duração de 6 meses. O contrato de bolsa poderá ser eventualmente renovado dentro da vigência do projeto.

7. Valor do subsídio de manutenção mensal : O montante da bolsa corresponde a ? 1064 conforme tabela de valores das bolsas atribuídas diretamente pela FCT, I.P. no País sendo o pagamento efetuado mensalmente por transferência bancária.

8. Métodos de seleção : será feita uma classificação, numa escala de 0 a 20, tendo em consideração a ponderação dos seguintes métodos de seleção: a) avaliação curricular (50%) e b) experiência relevante para a execução do projeto (50%).

9. Composição do Júri de Selecção :

Presidente: Doutor Mário Pereira

Vogais efetivos: Professor Doutor António Ravara,

Professor Doutor .Simão Melo de Sousa

Vogais suplentes: Professor Doutor João Costa Seco,

Professora Doutora Carla Ferreira

10. Forma de publicitação/notificação dos resultados : Os resultados finais da avaliação serão notificados, até 90 dias após a data limite para a submissão de candidaturas, através de correio eletrónico, dos resultados propostos pelo júri, tendo acesso às atas e a à lista de ordenação. Após a notificação, os candidatos terão 10 dias úteis para se pronunciarem sobre o projeto de decisão, em sede de audiência prévia dos interessados, nos termos do Código do Procedimento Administrativo. A decisão final será tomada após o decurso do período de audiência prévia, novamente notificada a todos os candidatos através de correio eletrónico, cabendo reclamação da mesma, no prazo de 15 dias úteis (para o endereço de e-mail utilizado para a notificação), ou recurso, no prazo de 30 dias úteis, endereçado à Direcção da NOVA.ID.FCT através do endereço aljb[email protected] .

11. Prazo de candidatura e forma de apresentação das candidaturas : O concurso encontra-se aberto no período de 08/06/2020 a 23/06/2020.

As candidaturas devem ser formalizadas, obrigatoriamente, através do envio de carta de candidatura acompanhada dos seguintes documentos: Curriculum Vitae, cópia do certificado de habilitações e carta de motivação.

As candidaturas deverão ser enviadas por e-mail ao cuidado do Doutor Mário Pereira, para o endereço [email protected] e cc [email protected], indicando a referência UIDB/04516/2020/TRA/BIM/01