Referência: “UBI/RELEASE/FAVAS”
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 mestre 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: Média(s) de curso(s) frequentado(s), experiência de trabalhos de investigação e curriculum vitae adequado aos objetivos do plano de trabalhos.
Plano de trabalhos: O bolseiro terá como tarefas a construção e validação de uma plataforma de verificação de programas baseado no calculo de pré-condições mais fracas, na lógica da separação e integrando mecanismos de “rely-grarantee”. Para tal deverá:
- Realizar um estudo da arte sobre métodos e ferramentas de prova de programas (concorrentes) que usam o rely-guarantee e a lógica da separação.
- Estudar e estender a plataforma de prova por rely guarantee desenvolvida no grupo RELEASE.
- Propor, formalizar e implementar uma extensão à plataforma existente que contempla mecanismos próprios à lógica da separação.
- Estudar e explorar ligações entre os formalismos supra-citados e as Álgebras de Kleene Concorrentes.
- 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 2011.
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 6 meses, com início previsto em novembro de 2011. O contrato de bolsa poderá ser renovado por mais 6 meses.
Valor do subsídio de manutenção mensal: O montante da bolsa corresponde a €980,00, 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,4 x A + 0,3 x B + 0,3 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 electrónico.
Prazo de candidatura e forma de apresentação das candidaturas: O concurso encontra-se aberto no período de 08/11/2011 a 21/11/2011.
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 electrónico desousa@di.ubi.pt, em formato pdf, até às 24:00 horas do dia 21/11/2011.
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