Job Opportunities

BI 2

Informa-se que se encontra aberto concurso para atribuição de uma Bolsa de Investigação, com a duração de 9 meses, eventualmente renovável, e início previsto para 1 de Julho, no âmbito do Projecto "CROSS - Uma infraestrutura para a certificação e re-engenharia de Software Livre" - Refª PTDC/EIA-CCO/108995/2008, financiado pela Fundação para a Ciência e a Tecnologia.

Objectivos: Realização de trabalhos de investigação no âmbito da utilização de técnicas de verificação formal para a geração de testes e análise de cobertura.

Orientação científica: Profs. Maria João Frade e Jorge Sousa Pinto (Dep. Informática, UM)

Período de candidaturas:

Ver EDITAL do concurso.

BI 1

Informa-se que se encontra aberto concurso para atribuição de uma Bolsa de Investigação para Licenciado, com a duração de 9 meses, no âmbito do Projecto "CROSS - Uma infraestrutura para a certificação e re-engenharia de Software Livre" - Refª PTDC/EIA-CCO/108995/2008, financiado por o Programa COMPETE - Programa Operacional Factores de Competitividade e pela Fundação para a Ciência e a Tecnologia.

Objectivos: Realização de trabalhos de investigação no desenvolvimento de uma ferramenta de “bounded model checking” de programas imperativos, com recurso à utilização de ferramentas de prova SMT.

Orientação científica: Prof. Jorge Sousa Pinto (Dep. Informática, UM)

Período de candidaturas: de 28 de Junho a 11 de Julho de 2011

Ver EDITAL do concurso.

BI 9

Informa-se que se encontra aberto concurso para atribuição de uma Bolsa de Investigação para Licenciado, com a duração de 9 meses, no âmbito do Projecto "CROSS - Uma infraestrutura para a certificação e re-engenharia de Software Livre" - Refª PTDC/EIA-CCO/108995/2008, financiado por o Programa COMPETE - Programa Operacional Factores de Competitividade e pela Fundação para a Ciência e a Tecnologia.

Objectivos: Realização de trabalhos de investigação, no desenvolvimento de um portal para a certificação de software livre.

Orientação científica: Prof. João Alexandre Saraiva (Dep. Informática, UM)

Período de candidaturas: de 16 a 30 de Junho de 2011

Ver EDITAL do concurso.

BI 5

Informa-se que se encontra aberto concurso para atribuição de uma Bolsa de Investigação para Mestre, com a duração de 6 meses, no âmbito do Projecto "CROSS - Uma infraestrutura para a certificação e re-engenharia de Software Livre" - Refª PTDC/EIA-CCO/108995/2008, financiado por o Programa COMPETE - Programa Operacional Factores de Competitividade e pela Fundação para a Ciência e a Tecnologia.

Objectivos: Realização de trabalhos de investigação no desenvolvimento de técnicas e metodologias para a análise e reconstrução de informação arquitectural a partir de código livre legado e projectos activos de desenvolvimento de software livre. Definição e teste de metodologias de e-learning enquadradas nesses projectos.

Orientação científica: Prof. Luís Soares Barbosa (Dep. Informática, UM)

Período de candidaturas: de 27 de Maio a 9 de Junho de 2011

Ver EDITAL do concurso.

BI 3

Informa-se que se encontra aberto concurso para atribuição de uma Bolsa de Investigação para Licenciado, com a duração de 6 meses, no âmbito do Projecto "CROSS - Uma infraestrutura para a certificação e re-engenharia de Software Livre" - Refª PTDC/EIA-CCO/108995/2008, financiado por o Programa COMPETE - Programa Operacional Factores de Competitividade e pela Fundação para a Ciência e a Tecnologia.

Objectivos:

  • Identificação de stacks de software open source de ampla utilização, no domínio dos SIG;
  • Concretização de uma stack de software open source que disponibilize um Web Service W3DS, por composição de componentes de software já existentes;
  • Identificação clara da interligação entre as componentes utilizadas na composição anterior;
  • Substituição de componentes por outras funcionalmente equivalentes e avaliação do impacto dessa substituição na composição desenvolvida.

Orientação científica: Professor Jorge Gustavo Rocha (Dep. Informática, UM)

Período de candidaturas: de 26 de Maio a 8 de Junho de 2011

Ver EDITAL do concurso.

BI 8

Informa-se que se encontra aberto concurso para atribuição de uma Bolsa de Investigação, com a duração de 9 meses, eventualmente renovável, com início previsto para 1 de Novembro de 2010, no âmbito do Projecto "CROSS - Uma infraestrutura para a certificação e re-engenharia de Software Livre" - Refª PTDC/EIA-CCO/108995/2008, financiado pela Fundação para a Ciência e a Tecnologia.

Objectivos: Realização de trabalhos de investigação na área da análise de software, extracção de informação estruturada, a partir do código fonte de pacotes de distribuição de software Open-Source, e da respectiva documentação.

Orientação científica: Prof. José João Dias de Almeida (Dep. Informática, UM)

Período de candidaturas: 12 a 26 de Outubro de 2010

Ver EDITAL do concurso.

BI 6

Informa-se que se encontra aberto concurso para atribuição de uma Bolsa de Investigação, com a duração de 9 meses, eventualmente renovável, e início previsto para 1 Março, no âmbito do Projecto "CROSS - Uma infraestrutura para a certificação e re-engenharia de Software Livre" - Refª PTDC/EIA-CCO/108995/2008, financiado pela Fundação para a Ciência e a Tecnologia.

Objectivos: Realização de trabalhos de investigação na área da análise de software e do ‘slicing predicativo’ orientados para o estudo comportamental de componente de software, com vista a aumentar a segurança na reutilização. O trabalho esperado será dividido em duas componente: uma focada na reutilização de software; e outra no ‘design by contract’. Especificamente, os objectivos serão: ajudar na tarefa de reutilização de componentes anotadas, extraindo e mostrando as anotações; verificar a satisfação do contrato, que anota a componente a reutilizar, em cada ponto de invocação dessa componente; inferir anotações para componentes disponíveis em repositórios reutilizáveis.

Orientação científica: Prof. Pedro Rangel Henriques (Dep. Informática, UM)

Período de candidaturas: 8 a 22 de Fevereiro de 2010

Ver EDITAL do concurso.

BI 4

Informa-se que se encontra aberto concurso para atribuição de uma Bolsa de Investigação, com a duração de 9 meses, eventualmente renovável, e início previsto para 15 de Fevereiro, no âmbito do Projecto "CROSS - Uma infraestrutura para a certificação e re-engenharia de Software Livre" - Refª PTDC/EIA-CCO/108995/2008, financiado pela Fundação para a Ciência e a Tecnologia.

Objectivos: Realização de trabalhos de investigação na área da análise da camada de interface de aplicações interactivas a partir do código fonte. Pretende-se continuar o desenvolvimento de uma ferramenta de engenharia reversa de interfaces com o utilizador já existente (o GUISurfer). Duas linhas de trabalho deverão ser exploradas de modo complementar: generalizar a ferramenta para novas tecnologias de desenvolvimento de interfaces (por exemplo JavaScript, GWT e WxHaskell); possibilitar a geração de novos tipos de modelos de interface (por exemplo, modelos de tarefas).

Orientação científica: Prof. José Creissac Campos (Dep. Informática, UM)

Período de candidaturas: 25 de Janeiro a 8 de Fevereiro de 2010

Ver EDITAL do concurso.