1. Descrição do cargo/posição/bolsa
1. Job description

Cargo/posição/bolsa:

Bolsa de investigação estudante de mestrado
Referência: PTDC/CCI-INF/32081/2017

Área científica genérica: Computer science

Área científica específica:


Resumo do anúncio:

Encontra-se aberto concurso para a atribuição de 1 Bolsa de Investigação no âmbito do projecto PRECISE / NOVA.ID.FCT, (PTDC/CCI-INF/32081/2017), financiado por fundos nacionais através da Fundação para a Ciência e Tecnologia, I.P. nas seguintes condições:

1. Área Científica :

Ciências de computação

Texto do anúncio

1. Requisitos de admissão :

O candidato deve ter a Licenciatura em Engenharia Informática e estar inscrito no mestrado em Engenharia Informática. É ainda um factor de preferência conhecimentos em estruturas de dados replicadas e a linguagem de programação Rust.

2. Plano de trabalhos :

Durante o período da bolsa, o bolseiro irá desenvolver uma técnica de verificação estática para estruturas de dados replicadas e convergentes. Para atingir este objectivo serão adaptadas as ferramentas Prusti e Viper desenvolvidas para a análise de programas escritos na linguagem Rust.

3. 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).

4. Local de trabalho : O trabalho será desenvolvido no Departamento de Informática e NOVA LINCS da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa sob a orientação científica do Professora Doutora Carla Ferreira.

5. Duração da(s) bolsa(s) : A bolsa terá à duração de seis meses, com início previsto em Abril de 2021. O contrato de bolsa poderá ser eventualmente renovado dentro da vigência do projecto.

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

7. Métodos de selecção : Os métodos de selecção a utilizar serão os seguintes: numa primeira fase, será feita uma classificação (numa escala de 0 a 100) tendo em consideração a) avaliação curricular (70%) e b) experiência relevante para a execução do projecto (30%). Os três candidatos melhor classificados (desde que com classificação superior a 70%) serão convocados para uma entrevista. A classificação final considera a classificação da primeira fase (50%) e a entrevista (50%). A bolsa não será atribuída caso não existam candidatos com a classificação da primeira fase superior a 70%.

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

Presidente: Professor Doutor João Costa Seco

Vogais efetivos: Professora Doutora Carla Ferreira, Professor Doutor Nuno Preguiça

Vogais suplentes: Professor Doutor João Leitão e Professor Doutor Miguel Goulão.

9. 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 electrónico, dos resultados propostos pelo júri, tendo acesso às actas e à lista de ordenação final. Após a notificação, os candidatos terão 10 dias úteis para se pronunciarem sobre o projecto 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 electró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 [email protected] .

10. Prazo de candidatura e forma de apresentação das candidaturas : O concurso encontra-se aberto no período de 17 de Março a 30 de Março.

As candidaturas devem ser formalizadas, obrigatoriamente, através do envio de carta de candidatura acompanhada dos seguintes documentos: Curriculum Vitae, certificado de habilitações, e carta de motivação . As candidaturas deverão ser remetidas por correio electrónico para Professora Carla Ferreira [email protected] com a referência PRECISE/2021/BI-L1.

Número de vagas: 1

Tipo de contrato: Informação não disponível

País: Portugal

Localidade: Caparica

Instituição de acolhimento: NOVA.ID.FCT-Associação para Inovação e Desenvolvimento da FCT


Data limite de candidatura: 30 March 2021

(A data limite de candidatura deve ser confirmada no texto do anúncio)

2. Dados de contactos da organização
2. Organization contact data

Instituição de contacto: NOVA.ID.FCT - Associação para a Inovação e Desenvolvimento da FCT

Endereço:
Universidade Nova de Lisboa - Campus de Caparica

Caparica - 2829-516

Portugal

Email: [email protected]