Encontra-se aberto concurso para a atribuição de uma Bolsa de Pós-Doutoramento (BPD), no âmbito do projecto "ERRO - Efficient Reasoning with Rules and Ontologies" / Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (PTDC/EIA-CCO/121823/2010), financiado por fundos nacionais através da FCT/MEC (PIDDAC), nas seguintes condições: 

1. Área Científica: Computer Science 

2. Requisitos de admissão: Doutoramento em Engenharia Informática ou área afim. São factores de preferência 

· Experiência em Lógica Computacional 

· Experiência em Web-Semântica 

· Experiência em Representação de Conhecimento dinâmico com Regras e Ontologias. 

· Bons conhecimentos de língua inglesa 

3. Plano de trabalhos: 

Early developments in the Semantic Web originated important foundational results and a deeper understanding of the issues involved in this endeavour, while identifying important conclusions regarding future developments, namely that: a) Ontologies are necessary and useful for knowledge representation and the formalisms developed, e.g. OWL, are powerful enough to capture existing modelling languages used in software engineering; b) Rules are fundamental to overcome the limitations found in OWL and provide constructs that are more natural for software developers (e.g. Closed World Assumption as used in databases) and c) New knowledge-based systems are not isolated and need mechanisms to act, reason, and evolve in the Semantic Web environment. 

The growing availability of information requires the support of dynamic data and application integration, automation and interoperation of business processes and problem-solving in various domains, to enforce correctness of decisions, and to allow traceability of the knowledge used and of the decisions taken. 

Ontologies provide the logical underpinning of intelligent access and information integration, while rules are used to represent regulations and declarative guidelines about information and actionable business policies. Whereas standardisation of ontology and rule languages (e.g. resp. OWL-2 and RIF) fosters large numbers of ontologies and rules with different levels of complexity and scale, current technologies are simply not adequate to support development for the emerging new class of knowledge-rich applications that require the concurrent use of Rules and Ontologies. For example, attempts to combine ontologies with rules often face semantic difficulties in choosing among Open and Closed World Assumptions or computational problems where querying is NP at best [Eiter08, Motik10], often undecidable [Horrocks04]. Update operators for rules [Alferes00] and those for ontologies [Flouris08] follow different principles, which, until recently, seemed irreconcilable. Active rules for the web lacked a declarative semantics [Marie10] making their combination with reasoning rules and ontologies harder. 

The ERRO project aims to address these problems and develop a state-of-the-art platform and tools that provide efficient services for 1) querying and updating (possibly inconsistent) knowledge bases tightly integrating ontologies and reasoning rules originating from a diversity of sources - heterogeneous knowledge bases, and 2) event monitoring to automate the execution of active rules. 

The recipient of this grant will mainly work in Tasks 1 and 2 of the project, namely: 

Design and implementation of general reasoning tools for querying and updating heterogeneous knowledge bases. 

Design of specialised, efficient tools for querying and updating the heterogeneous knowledge bases of the project’s specific applications. 

Design and implementation of tools to support services for querying heterogeneous knowledge bases, optimized for the project’s specific applications; 

4. 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 2010 e Regulamento de Bolsas da Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa. 

5. Local de trabalho: O trabalho será desenvolvido no(a) CENTRIA, Departamento de Informática da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa sob a orientação científica do Professor João Alexandre Leite. 

6. Duração da(s) bolsa(s): A bolsa terá a duração de 3 meses, com início previsto em Outubro de 2012. O contrato de bolsa poderá ser eventualmente renovado dentro da vigência do projecto. 

7. Valor do subsídio de manutenção mensal: O montante da bolsa corresponde a €1495, conforme tabela de valores das bolsas atribuídas directamente pela FCT, I.P. no País (http://alfa.fct.mctes.pt/apoios/bolsas/valores), sendo o pagamento efectuado mensalmente por transferência bancária. 

8. Métodos de selecção: Os métodos de selecção a utilizar serão os seguintes: avaliação curricular e experiência relevante para a execução do projecto. Os candidatos melhor classificados poderão ser convocados para uma entrevista. 

9. Composição do Júri de Selecção: Professor Doutor João Alexandre Leite (presidente), Professor Doutor José Júlio Alferes e Professor Doutor Carlos Damásio (vogais), Professor Doutor Pedro Barahona e Professor Doutor João Moura Pires (suplentes). 

10. Forma de publicitação/notificação dos resultados: Os resultados finais da avaliação serão publicitados, através de lista ordenada dos candidatos, afixada em local público e visível da Fundação da Faculdade de Ciências e Tecnologia, da Universidade Nova de Lisboa, sendo o(a) candidato(a) aprovado(a) notificado através de e-mail. 

11. Prazo de candidatura e forma de apresentação das candidaturas: O concurso encontra-se aberto no período de 26 de Setembro 2012 a 10 de Outubro de 2012. As candidaturas devem ser acompanhadas por curriculum vitae, certificado de habilitações e outros documentos considerados relevantes. 

As candidaturas devem ser formalizadas através de correio electrónico, para: Doutor João Leite jleite@fct.unl.pt com o assunto: "Anúncio Ref. PTDC/EIA-CCO/121823/2010 - BPD". 

http://www.eracareers.pt/opportunities/index.aspx?task=global&jobId=31548