Home page
 
Post research opportunities
Find the ideal candidate
List of registered organisations
   
 
Post your CV
Find research opportunities
Practical information
Foreign Researchers Guide
Useful links
 
List and locate Portuguese Mobility Centres .
 
Portuguese research landscape
Find out how research is organised in Portugal.
Portuguese research policy
Find out about research policy in Portugal.
Women in science
Find out about the situation of women scientists.
 
Unique identifier: 83ac6beb-7000-436d-95c3-4dd370bf0644

1. Descrição do cargo/posição/bolsa
1. Job description

Cargo/posição/bolsa:
Bolsa de Investigação 

Referência:  Dali Bolsa 20167-1 

Área científica genérica: Mathematics

Área científica específica: Mathematical logic

Resumo do anúncio:

Encontra-se aberto concurso para a atribuição de uma Bolsa de Investigação no âmbito do projecto DaLí FCT PTDC/EEI-CTP/4836/2014, financiado por fundos nacionais através da FCT/MCTES (PIDDAC) e co-financiado pelo Fundo Europeu de Desenvolvimento Regional (FEDER) através do COMPETE 2020 – Programa Operacional Competitividade e Internacionalização, no âmbito do Portugal 2020: POCI-01-0145-FEDER-016692. A bolsa terá por objetivo desenvolver trabalhos no âmbito do projeto “DaLí”, nomeadamente na implementação de uma abordagem monádica, introduzida por Renato Neves no contexto deste projeto, para especificação/análise de sistemas ciber-físicos (híbridos). A implementação incluirá um ambiente gráfico de modo a simplificar a análise e especificação de sistemas ciber-físicos.

Texto do anúncio

EDITAL PARA A ATRIBUIÇÃO DE BOLSAS NO ÂMBITO DE PROJECTOS E INSTITUIÇÕES DE I&D Encontra-se aberto concurso para a atribuição de uma Bolsa de Investigação no âmbito do projecto DaLí FCT PTDC/EEI-CTP/4836/2014, financiado por fundos nacionais através da FCT/MCTES (PIDDAC) e co-financiado pelo Fundo Europeu de Desenvolvimento Regional (FEDER) através do COMPETE 2020 – Programa Operacional Competitividade e Internacionalização, no âmbito do Portugal 2020: POCI-01-0145-FEDER-016692 nas seguintes condições: Área Científica: Matemática. Requisitos de admissão: Licenciatura em Matemática, conhecimentos sólidos em Lógica e em Haskell. Plano de trabalhos: A bolsa terá por objetivo desenvolver trabalhos no âmbito do projeto “DaLí”, nomeadamente na implementação de uma abordagem monádica, introduzida por Renato Neves no contexto deste projeto, para especificação/análise de sistemas ciber-físicos (híbridos). A implementação incluirá um ambiente gráfico de modo a simplificar a análise e especificação de sistemas ciber-físicos. Legislação e regulamentação aplicável: Lei nº. 40/2004, de 18 de Agosto (Estatuto do Bolseiro de Investigação Científica); Regulamento de Bolsas de Investigação da Fundação para a Ciência e a Tecnologia, I. P., e o Regulamento de Bolsas de Investigação Científica da Universidade de Aveiro – Regulamento n.º 341/2011, publicado em Diário da República, 2ª série, n.º 98, de 20 de Maio. Local de trabalho: O trabalho será desenvolvido no CIDMA do Departamento de Matemática da Universidade de Aveiro, sob a orientação científica do Professor Manuel António Martins. Duração da(s) bolsa(s): A bolsa terá à duração de 3 meses, com início previsto para dezembro de 2017. A bolsa de investigação poderá ser, eventualmente, renovável até ao limite máximo permitido pela legislação aplicável. Valor do subsídio de manutenção mensal: O montante da bolsa corresponde a 745€ conforme a tabela de valores das Bolsas de Investigação Científica em vigor. A periodicidade de pagamento da bolsa é mensal e através de depósito bancário, cheque ou outra modalidade equivalente. Métodos de seleção: Os métodos de seleção a utilizar serão os seguintes: formação académica e respetiva nota final (50%); conhecimentos em Lógica (30%); conhecimentos em Haskell (20%). Composição do Júri de Seleção: - Manuel António Martins, Professor Auxiliar, Universidade de Aveiro (Presidente) - Alexandre Madeira, Investigador doutorado, membro integrado do INESC TEC (Vogal) - Luís Soares Barbosa, Professor Associado, Universidade do Minho (Vogal) Forma de publicitação/notificação dos resultados: Os resultados finais da avaliação serão publicitados, através de lista ordenada alfabeticamente afixada em local visível e público do Departamento de Matemática, sendo o candidato(a) aprovado(a) notificado através de email. Prazo de candidatura e forma de apresentação das candidaturas: O concurso encontra-se aberto no período de 3 de novembro a 16 de novembro de 2017. As candidaturas devem ser formalizadas, obrigatoriamente, através de carta de candidatura acompanhada dos seguintes documentos: - Curriculum Vitae detalhado - Cópia do BI - Cópia do Certificado de Habilitações com discriminação das notas obtidas às disciplinas efetuadas e média de curso. As candidaturas deverão ser entregues, pessoalmente, na morada a seguir indicada, ou remetidas por correio para: Departamento de Matemática, Universidade de Aveiro, A/c Manuel A. Martins, Campus Universitário de Santiago, 3810-193 Aveiro.


Número de vagas: 1

Tipo de contrato: Informação não disponível

País: Portugal

Localidade: Aveiro

Instituição de acolhimento: Universidade de Aveiro 


Data limite de candidatura: 16 November 2017
(A data limite de candidatura deve ser confirmada no texto do anúncio)

2. Dados de contactos da organização
2. Organization contact data

Instituição de contacto: Universidade de Aveiro - Departamento de Matemática

Endereço:
Campus Universitário de Santiago
Aveiro - 3810-193
Portugal

Email: dmat.direccao@ua.pt

Website: www.ua.pt/dmat

3. Habilitações académicas
3. Required education Level

Grau: Licenciatura
Domínio científico: Mathematics
4. Línguas exigidas
4. Required languages


Vazio
5. Experiência exigida em investigação
5. Required research experience


Vazio