|
Jobs 9 - 11 Jul 2012 - Main.MariaJoaoFrade
|
| |
| META TOPICPARENT | name="Team" |
|---|
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. | | | 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: | |
<
< | O trabalho decorrerá sob a orientação científica do Professor Jorge Sousa Pinto (Dep. Informática, UM) | >
> | Prof. Jorge Sousa Pinto (Dep. Informática, UM) | | | Período de candidaturas: de 28 de Junho a 11 de Julho de 2011 | | | Realização de trabalhos de investigação, no desenvolvimento de um portal para a certificação de software livre.
Orientação científica: | |
<
< | O trabalho decorrerá sob a orientação científica do Professor João Alexandre Saraiva (Dep. Informática, UM) | >
> | Prof. João Alexandre Saraiva (Dep. Informática, UM) | | | Período de candidaturas: de 16 a 30 de Junho de 2011 | | | 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: Professor Luís Soares Barbosa (Dep. Informática, UM) | >
> | 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 | | | 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: | |
<
< | Professor José João Dias de Almeida (Dep. Informática, UM) | >
> | Prof. José João Dias de Almeida (Dep. Informática, UM) | | | Período de candidaturas: 12 a 26 de Outubro de 2010 | | | 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: | |
<
< | Professor Pedro Rangel Henriques (Dep. Informática, UM) | >
> | Prof. Pedro Rangel Henriques (Dep. Informática, UM) | | | Período de candidaturas: 8 a 22 de Fevereiro de 2010 | | | 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: | |
<
< | Professor José Creissac Campos (Dep. Informática, UM) | >
> | Prof. José Creissac Campos (Dep. Informática, UM) | | | Período de candidaturas: 25 de Janeiro a 8 de Fevereiro de 2010 |
|
|
Jobs 8 - 29 Jun 2011 - Main.MariaJoaoFrade
|
| |
| META TOPICPARENT | name="Team" |
|---|
| | | 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;
| >
> |
- 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.
| | | 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). | >
> | 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:
Professor José Creissac Campos (Dep. Informática, UM) |
|
|
Jobs 7 - 13 Jun 2011 - Main.MariaJoaoFrade
|
| |
| META TOPICPARENT | name="Team" |
|---|
Job Opportunities
| |
>
> | 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:
O trabalho decorrerá sob a orientação científica do Professor 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:
O trabalho decorrerá sob a orientação científica do Professor 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: Professor 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. | | | 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) | >
> | Professor José João Dias de Almeida (Dep. Informática, UM) | | | Período de candidaturas: 12 a 26 de Outubro de 2010 | | | 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) | >
> | Professor Pedro Rangel Henriques (Dep. Informática, UM) | | | Período de candidaturas: 8 a 22 de Fevereiro de 2010 | | | 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) | >
> | Professor José Creissac Campos (Dep. Informática, UM) | | | Período de candidaturas: 25 de Janeiro a 8 de Fevereiro de 2010 | | |
| META FILEATTACHMENT | attachment="bi_cross_jfc.pdf" attr="h" comment="BI 4" date="1265305841" name="bi_cross_jfc.pdf" path="bi_cross_jfc.pdf" size="223275" stream="bi_cross_jfc.pdf" user="Main.MariaJoaoFrade" version="1" |
|---|
| META FILEATTACHMENT | attachment="bi_cross_prh.pdf" attr="h" comment="BI 6" date="1265637649" name="bi_cross_prh.pdf" path="bi_cross_prh.pdf" size="225698" stream="bi_cross_prh.pdf" user="Main.MariaJoaoFrade" version="1" |
|---|
| META FILEATTACHMENT | attachment="bi_cross_jj.pdf" attr="h" comment="BI 8" date="1289919217" name="bi_cross_jj.pdf" path="bi_cross_jj.pdf" size="123578" stream="bi_cross_jj.pdf" user="Main.MariaJoaoFrade" version="1" |
|---|
| |
>
> |
| META FILEATTACHMENT | attachment="bi_cross_jas.pdf" attr="h" comment="" date="1307965301" name="bi_cross_jas.pdf" path="bi_cross_jas.pdf" size="130195" stream="bi_cross_jas.pdf" user="Main.MariaJoaoFrade" version="1" |
|---|
| META FILEATTACHMENT | attachment="bi_cross_jsp.pdf" attr="h" comment="" date="1307966173" name="bi_cross_jsp.pdf" path="bi_cross_jsp.pdf" size="130078" stream="bi_cross_jsp.pdf" user="Main.MariaJoaoFrade" version="1" |
|---|
| META FILEATTACHMENT | attachment="bi_cross_jgr.pdf" attr="h" comment="" date="1307967151" name="bi_cross_jgr.pdf" path="bi_cross_jgr.pdf" size="132571" stream="bi_cross_jgr.pdf" user="Main.MariaJoaoFrade" version="1" |
|---|
| META FILEATTACHMENT | attachment="bi_cross_lsb.pdf" attr="h" comment="" date="1307967218" name="bi_cross_lsb.pdf" path="bi_cross_lsb.pdf" size="130916" stream="bi_cross_lsb.pdf" user="Main.MariaJoaoFrade" version="1" |
|---|
|
|
|
Jobs 6 - 16 Nov 2010 - Main.MariaJoaoFrade
|
| |
| META TOPICPARENT | name="Team" |
|---|
| |
<
< | | | |
Job Opportunities | | | Job Opportunities
| |
>
> | 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. | | | 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
Departamento de Informática da Universidade do Minho | >
> | Prof. Pedro Rangel Henriques (Dep. Informática, UM) | | | Período de candidaturas: 8 a 22 de Fevereiro de 2010 | | | 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
Departamento de Informática da Universidade do Minho | >
> | Prof. José Creissac Campos (Dep. Informática, UM) | | | Período de candidaturas: 25 de Janeiro a 8 de Fevereiro de 2010 | | |
| META FILEATTACHMENT | attachment="bi_cross_jfc.pdf" attr="h" comment="BI 4" date="1265305841" name="bi_cross_jfc.pdf" path="bi_cross_jfc.pdf" size="223275" stream="bi_cross_jfc.pdf" user="Main.MariaJoaoFrade" version="1" |
|---|
| META FILEATTACHMENT | attachment="bi_cross_prh.pdf" attr="h" comment="BI 6" date="1265637649" name="bi_cross_prh.pdf" path="bi_cross_prh.pdf" size="225698" stream="bi_cross_prh.pdf" user="Main.MariaJoaoFrade" version="1" |
|---|
| |
>
> |
| META FILEATTACHMENT | attachment="bi_cross_jj.pdf" attr="h" comment="BI 8" date="1289919217" name="bi_cross_jj.pdf" path="bi_cross_jj.pdf" size="123578" stream="bi_cross_jj.pdf" user="Main.MariaJoaoFrade" version="1" |
|---|
|
|
|
Jobs 5 - 08 Feb 2010 - Main.MariaJoaoFrade
|
| |
| META TOPICPARENT | name="Team" |
|---|
| |
>
> | | | | Job Opportunities | |
>
> |
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
Departamento de Informática da Universidade do Minho
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. | | | Período de candidaturas: 25 de Janeiro a 8 de Fevereiro de 2010 | |
<
< | Ver EDITAL do concurso. | >
> | Ver EDITAL do concurso. | | |
| META FILEATTACHMENT | attachment="bi_cross_jfc.pdf" attr="h" comment="BI 4" date="1265305841" name="bi_cross_jfc.pdf" path="bi_cross_jfc.pdf" size="223275" stream="bi_cross_jfc.pdf" user="Main.MariaJoaoFrade" version="1" |
|---|
| |
>
> |
| META FILEATTACHMENT | attachment="bi_cross_prh.pdf" attr="h" comment="BI 6" date="1265637649" name="bi_cross_prh.pdf" path="bi_cross_prh.pdf" size="225698" stream="bi_cross_prh.pdf" user="Main.MariaJoaoFrade" version="1" |
|---|
|
|
|
Jobs 3 - 23 Jan 2010 - Main.MariaJoaoFrade
|
| |
| META TOPICPARENT | name="Team" |
|---|
Job Opportunities
\ No newline at end of file | |
>
> |
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
Departamento de Informática da Universidade do Minho
Período de candidaturas: 25 de Janeiro a 8 de Fevereiro de 2010
Ver EDITAL do concurso no seguinte endereço:
http://www.di.uminho.pt/secretaria_public/bolsas/bi_cross_jfc.pdf | | | \ No newline at end of file |
|
|
|
|
 Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
|
|