CROSS

An Infrastructure for Certification and Re-engineering of Open Source Software

Overview

Team

Results

Events


News

17 Nov 12 2nd CROSS Workshop

23 Jun 11 1st CROSS Workshop

22 Jun 10 First paper published! (The GUISurfer tool: ...)

24 Feb 10 Kick-Off Meeting

6 Oct 09 CROSS website launched

Research » CROSS » WebHome » Team » Jobs

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.

r9 - 11 Jul 2012 - 14:29:47 - MariaJoaoFrade
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM