Browse our site
About
People
Research Areas
Projects
Publications
Seminars
News
Current
Past
You are here:
Home
News
Past
Anúncio de Bolsa de Investigação
CENTRIA news
Anúncio de Bolsa de Investigação
O projecto “UniCS - Um Resolvedor de Restrições Unificado”, foi recentemente proposto a financiamento pelo CENTRIA, Centro de Inteligência Artificial. O objectivo principal deste projecto é desenvolver uma plataforma unificadora para programação por restrições, UniCS, que seja capaz de incorporar vários domínios e técnicas necessárias para a modelação de diversas aplicações.
Para preparação deste projecto, o CENTRIA financia uma Bolsa de Investigação (BI) destinada a alunos detentores de um Mestrado ou Licenciatura em Engenharia Informática, para actividades de investigação no âmbito do projecto.
O trabalho a realizar consiste na análise de um sistema de resolução de restrições, Casper, que tem vindo a ser desenvolvido no Centro e que embora ainda numa fase preliminar, já atingiu uma posição cimeira na última competição internacional de resolvedores de restrições.
Apesar de focado em domínios finitos o sitema foi desenhado com base numa metodologia de programação genérica que permitirá a sua extensão a outros domínios (por exemplo, domínios contínuos) e a outras estratégias de pesquisa (pesquisa local). Neste contexto, e após a análise referida, o bolseiro deverá fazer uma proposta de alterações adequadas ao Casper para obter essa extensão de funcionalidade, consubstanciada pelos resultados obtidos em alguns testes de avaliação dessas alterações.
As condições de atribuição da Bolsa são as estabelecidas no “Regulamento de Bolsas de Formação Avançada e de Qualificação de Recursos Humanos” da FCT/UNL, que pode ser consultado em http://www.fct.unl.pt/documentos-internos/regulamento_bolsas.pdf. De acordo com esse regulamento e a tabela que lhe está associado (disponível em http://www.fct.unl.pt/documentos-internos/tabela_bolsas.pdf, o montante da bolsa será de 980€/mês ou de 745€/mês, respectivamente para detentores de mestrado ou apenas de licenciatura.
Os interessados deverão enviar um CV até ao dia 6 de Março de 2009, para o Prof. Pedro Barahona, (pb@di.fct.unl.pt) responsável do projecto, de quem poderão obter mais informações.
Wednesday, 25th of February 2009
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541
