Concurso para atribuição de bolsa de Investigação (BI) - uma vaga no âmbito do Projeto de I&D PTDC EIA CCO 105034 2008 Referência: “UBI/RELEASE/FAVAS – BI-L 1”
Encontra-se aberto concurso para a atribuição de uma Bolsa de Investigação (BI) no âmbito do projeto de I&D “FAVAS: A Formal Verification Platform for real-time” com a referência “PTDC/EIA-CCO/105034/2008”, financiado por fundos nacionais através da FCT/MCTES, nas seguintes condições:
Área Científica: Engenharia Informática
Requisitos de admissão: Grau de licenciado numas das seguintes áreas científicas: Engenharia Informática, Informática, Ciência da Computação, Matemática Aplicada e afins. Experiência de realização de trabalhos de investigação. Perfil para desenvolvimento de trabalho experimental e interdisciplinar. Conhecimentos sólidos de Inglês (falado e escrito). Fatores preferenciais para a seleção: experiência de trabalhos de investigação e curriculum vitae adequado aos objetivos do plano de trabalhos, média(s) de curso(s) frequentado(s).
Plano de trabalhos: O bolseiro terá como tarefas a construção e validação de uma plataforma de verificação de programas ARM baseado no calculo de pré-condições mais fracas, com a capacidade de verificar a complexidade temporal em termos de ciclos CPU(complexity checking). Para tal deverá:
- Desenvolver uma semântica axiomática para programas de baixo nível não estruturados.
- Refinar o modelo semântico com um modelo de custo em termos de ciclos CPU.
- Integrar no modelo obtido mecanismos de otimização como pipelining, cache, banch prediction.
- propor um protótipo para cada um dos itens supra-citados.
- Participar no esforço de publicação dos resultados alcançados.
Legislação e regulamentação aplicável: Lei Nº. 40/2004, de 18 de agosto (Estatuto do Bolseiro de Investigação Científica); Regulamento da Formação Avançada e Qualificação de Recursos Humanos 2012.
Local de trabalho: O trabalho será desenvolvido no Grupo Release – Reliable and Secure Computation Group do Departamento de Informática da Universidade da Beira Interior e na Unidade de Investigação LIACC – Laboratório de Inteligência Artificial e Ciência de Computadores da Universidade do Porto, sob a orientação científica do Professor Doutor Simão Melo de Sousa.
Duração da bolsa: A bolsa terá a duração de 3 meses, com início previsto em outubro de 2012. O contrato de bolsa poderá ser renovado.
Valor do subsídio de manutenção mensal: O montante da bolsa corresponde a 745€/mês para detentores do grau de Licenciatura, conforme tabela de valores das bolsas atribuídas diretamente pela FCT, I.P. no País (http://alfa.fct.mctes.pt/apoios/bolsas/valores). O Pagamento da bolsa será feito com periodicidade mensal, através de transferência bancária.
Métodos de seleção: Os métodos de seleção a utilizar serão feitos com base nos seguintes parâmetros: A - média das classificações médias obtidas na Licenciatura e Mestrado (ou classificação média obtida no Mestrado Integrado); B – Experiência em trabalhos de investigação; C – Avaliação curricular, de acordo com os objetivos do projeto. Aos parâmetros de seleção será atribuída a seguinte ponderação percentual: 0,33 x A + 0,33 x B + 0,33 x C.
Composição do Júri de Seleção: Presidente do Júri: Professor Doutor Simão Melo de Sousa; Vogais efetivos: Professora Doutora Manuela Pereira de Sousa e Professor Doutor Paul Andrew Crocker. Vogais suplentes: Professor Doutor Hugo Proença e Professor Doutor Luís Filipe Alexandre.
Forma de publicitação/notificação dos resultados: Os resultados finais da avaliação serão publicitados, através de lista ordenada por nota final obtida afixada em local visível e público da Faculdade de Engenharia da Universidade da Beira Interior, sendo o candidato(a) aprovado(a) notificado através de correio eletrónico.
Prazo de candidatura e forma de apresentação das candidaturas: O concurso encontra-se aberto no período de 01/10/2012 a 15/10/2012.
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 outros documentos comprovativos considerados relevantes.
As candidaturas deverão ser entregues, pessoalmente, durante o período de abertura do concurso, das 9:00 às 17:30 horas, no secretariado do Departamento de Informática, na morada a seguir indicada, ou remetidas para o correio eletrónico
desousa@di.ubi.pt, em formato pdf, até às 24:00 horas do dia 15/10/2012.
Morada para envio de candidaturas:
Prof. Simão Melo de Sousa
Release – Reliable and Secure Computation Group
Departamento de Informática
Universidade da Beira Interior
Rua Marques d’Ávila e Bolama
6201-001, Covilhã, Portugal