Conteúdo / Main content
Menu Rodapé
  1. Início
  2. Eventos
  3. Bolsa de Investigação para Mestres na área da Engenharia Informática

Bolsa de Investigação para Mestres na área da Engenharia Informática

Concurso para atribuição de bolsa de Investigação (BI) - uma vaga - no âmbito do Projeto de I&D PTDC EIA CCO 105034 2008, aberto no período de 08/11/2011 a 21/11/2011.

EVENTO:

  De 21 a 22 de novembro de 2011

  Importar iCal

Partilha

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  

Data da última atualização: 2011-11-11
As cookies utilizadas neste sítio web não recolhem informação pessoal que permitam a sua identificação. Ao continuar está a aceitar a política de cookies.