Encontra-se aberto concurso para a atribuição de 1 Bolsa de Investigação - licenciado no âmbito do Projeto PEst-C/MAT/UI0144/2013, intitulado “Projeto Estratégico da Matemática UI 144”, referência PEST MATEMATICA, financiado por fundos nacionais através da FCT/MEC (PIDDAC) e cofinanciado pelo Fundo Europeu de Desenvolvimento Regional (FEDER) através do COMPETE – Programa Operacional Fatores de Competitividade (POFC), com referência FCOMP 01-124-FEDER37294, nas seguintes condições: Área Científica: Ciência de Computadores Requisitos de admissão: Podem candidatar-se a esta bolsa detentores do grau de licenciatura na área Ciência de Computadores, Matemática ou equivalente. Dá-se preferência a candidatos que possuam bons conhecimentos de álgebra, lógica, computabilidade e complexidade.  Plano de trabalhos: Regular languages are omnipresent in an extensive range of fields. In practical applications, the feasibility of algorithms and representations, dealing with regular languages, depends primarily on their descriptional and computational complexity that can be analysed both on the average case as well as on the worst case. This motivates the study of regular language models and operations considering various aspects. These include conversions between models for regular languages, such as automata and regular expressions, but also extensions to more general models with applications in program verification and cryptography. The main goal of this scholarship is to deepen the insight on the conversions between the different models, by studying, in particular, properties of the underlying graphs of automata; algebraic properties of the syntactic semigroups, and identify inductively definable properties of the different regular language representations that can lead to analytic combinatorial approaches.   Legislação e regulamentação aplicável: Lei Nº. 40/2004, de 18 de agosto, alterada pelo Decreto-Lei n.º 202/2012, de 27 de agosto, e alterado pelo Decreto-Lei nº 233/2012, de 29 de outubro e pela Lei nº 12/2013, de 29 de janeiro e pelo Decreto-Lei nº 89/2013, de 09 de julho (Estatuto do Bolseiro de Investigação Científica); Regulamento de Bolsas de Investigação da Fundação para a Ciência e a tecnologia, em vigor (http://www.fct.pt/apoios/bolsas/regulamento.phtml.pt) e Regulamento de bolsas da Universidade do Porto. Local de trabalho: O trabalho será desenvolvido no Centro de Matemática da Universidade do Porto, Faculdade de Ciências, sob a orientação científica de Sabine Broda, António Machiavelo, Nelma Moreira e Rogério Reis.   Duração da bolsa: A bolsa terá à duração de 3 meses, com início previsto em agosto de 2014, eventualmente renováveis até à data do fim do projeto, em regime de exclusividade. Valor do subsídio de manutenção mensal: O montante da bolsa corresponde a €745,00 conforme tabela de valores das bolsas atribuídas diretamente pela FCT, I.P. no País (http://alfa.fct.mctes.pt/apoios/bolsas/valores). O pagamento será efetuado por transferência bancária. Métodos de seleção: Os métodos de seleção a utilizar serão os seguintes: Curriculum: 30% Experiência: 40% Entrevista: 30% Composição do Júri de Seleção: Presidente - Manuel Delgado 1º vogal efetivo - Jorge Freitas 2º vogal efetivo - Nelma Moreira 3º vogal efetivo - António Machiavelo 1º vogal suplente - Ana Rita Gaio 2º vogal suplente - João Nuno Tavares Forma de publicitação/notificação dos resultados: Os resultados finais da avaliação, serão divulgados, através de lista ordenada por classificação final, enviada aos candidatos através de email. Forma de apresentação das candidaturas e prazo de candidatura: O concurso encontra-se aberto no período de 11 a 24 de julho de 2014. As candidaturas devem ser formalizadas, obrigatoriamente, através email para recrutamentorh@sp.up.pt, com conhecimento para cmup@fc.up.pt indicando no Assunto: Candidatura a Bolsa de Investigação projeto (FCUP_ PEst-C/MAT/UI0144/2013 - Ciência de Computadores), acompanhadas dos seguintes documentos: Carta de Motivação, Curriculum vitae, certificado de habilitações e outros documentos comprovativos considerados relevantes.     Número de vagas: 1   Tipo de contrato: Outro   País: Portugal   Localidade: Porto   Instituição de acolhimento: Faculdade de Ciências da Universidade do Porto     Data limite de candidatura: 24 July 2014