O INESC TEC abre concurso para a atribuição de uma Bolsa de Investigação (BI) no âmbito do projeto QUANTUM_IBER_IA, referência 0590_QUANTUM_IBER_IA_6_E, cofinanciado pelo Fundo Europeu de Desenvolvimento Regional (FEDER) através do Programa de Cooperação Interreg VI-A Espanha-Portugal (POCTEP) 2021-2027.

Overview

A Bolsa de Investigação destina-se a candidatos com Mestrado em Ciências da Computação, Física ou área afim, que pretendam desenvolver investigação na área da Computação Quântica. A atividade de investigação decorrerá em Braga, com duração prevista de 6 meses com início a 15 de julho de 2026, podendo ser renovada até ao fim do projeto. A orientação científica estará a cargo de Luís Soares Barbosa.

Funding and Benefits

• Valor da bolsa: €1.359,64 mensais, conforme a Tabela de Subsídios Mensais de Manutenção das bolsas financiadas pela FCT, pago por transferência bancária.
• Remunerações adicionais: O bolseiro poderá auferir remunerações adicionais na sequência de um processo de avaliação trimestral, até um limite máximo de 50% do valor mensal da bolsa (Art.º 19, 21.º e 22.º do Regulamento de Bolsas do INESC TEC e anexo II).
• Propinas: O INESC TEC suporta os custos com matrícula, inscrição ou propinas durante o período da bolsa.
• Seguro de saúde: O bolseiro beneficiará de um seguro de saúde suportado pelo INESC TEC.

Research Activities

O plano de trabalhos tem como tema a Exploração da lógica paraconsistente e probabilidade não-aditiva na formulação da teoria quântica. O projeto visa desenvolver modelos baseados em lógica paraconsistente e teoria da probabilidade não-aditiva para substituir os modelos de variáveis ocultas usados em teoria quântica, com dois objetivos principais:

• Realizar uma reformulação paraconsistente dos teoremas de impossibilidade da teoria quântica (partindo do teorema de Bell);
• Desenvolver a teoria da probabilidade não-aditiva em álgebras co-Heyting.

As atividades previstas incluem:

• Elaborar um relatório sobre modelos paraconsistentes em teoria quântica;
• Elaborar um relatório sobre o desenvolvimento da teoria da probabilidade não-aditiva em álgebras co-Heyting;
• Analisar as possíveis implicações em computação quântica, nomeadamente no desenvolvimento de algoritmos que explorem contextualidade;
• Submeter dois artigos sobre os resultados de investigação obtidos;
• Colaborar com o grupo de computação quântica no INESC TEC explorando sinergias entre este tema e a investigação corrente no grupo;
• Realizar uma unidade curricular de competências transversais.

Eligibility

Requisitos de admissão:

• Mestrado em Ciências da Computação, Física ou área afim.
• O candidato deve ser estudante de um ciclo de estudos ou de um curso não conferente de grau, lecionado numa Instituição de Ensino Superior.

Requisitos mínimos:

• Conhecimentos e experiência prévia de investigação em lógicas paraconsistentes, teoria da informação quântica e computação quântica.
• 2 artigos publicados em conferência ou revista com revisão por pares na área da teoria da informação quântica ou computação quântica.

Fatores de preferência:

• Publicações em lógicas paraconsistentes, teoria da informação quântica e computação quântica.

Application Process

Período de candidatura: De 15 de junho de 2026 a 26 de junho de 2026.

Submissão: Preenchimento de formulário eletrónico em www.inesctec.pt, na secção JUNTE-SE A NÓS.

Documentos obrigatórios:

• Carta de motivação;
• Curriculum Vitae (incluindo lista de eventuais bolsas anteriores, com natureza da bolsa, datas de início e fim e instituições outorgante e de acolhimento);
• Certificado de habilitações com o respetivo grau académico;
• Comprovativo de inscrição em ciclo de estudos conferente de grau académico ou em curso do Ensino Superior não conferente de grau académico (pode ser entregue apenas em fase de contratualização da bolsa);
• Declaração de não incumprimento dos deveres do bolseiro;
• No caso de o bolseiro ser estrangeiro ou não residente em Portugal, documento que comprove o país de residência, autorização de residência ou outro documento legalmente equivalente, com validade à data de início da bolsa;
• Outros documentos comprovativos relevantes para a apreciação final.

Processo de avaliação e seleção: O processo de seleção inclui duas fases: Avaliação Curricular (AC) e Entrevista Individual (EI). Os parâmetros da AC e respetivos pesos são: Formação Académica (40%), Publicações Científicas (30%), Experiência (20%) e Carta de Motivação (10%). Os candidatos com AC inferior a 50 são excluídos em mérito absoluto. Os melhores cinco candidatos não excluídos são chamados para entrevista. A Classificação Final é obtida a partir da AC (70%) e da EI (30%).

Bonificação por incapacidade: Candidatos com grau de incapacidade igual ou superior a 90% terão uma bonificação de 20 pontos na Avaliação Curricular; candidatos com incapacidade igual ou superior a 60% e inferior a 90% terão uma bonificação de 10 pontos. A bonificação deve ser comprovada mediante Atestado Médico de Incapacidade Multiuso (AMIM).

Júri de Seleção:

• Presidente: Luís Soares Barbosa
• Vogal: Luís Paulo Santos
• Vogal: Renato Jorge Neves
• Suplente: André Manuel Sequeira

Deadline and Timeline

• Início previsto da bolsa: 15 de julho de 2026
• Duração: 6 meses, renovável até ao fim do projeto
• Período de candidatura: 15 de junho de 2026 a 26 de junho de 2026

Os resultados do processo de seleção, bem como os prazos e procedimentos de audiência prévia, serão divulgados aos interessados por correio eletrónico, nos termos do Art.º 13.º do Regulamento de Bolsas do INESC TEC.

Contact Information

Para mais informações, consultar o Regulamento de Bolsas do INESC TEC e respetivos anexos em www.inesctec.pt/bolsas.

INESC TEC
Campus da FEUP
Rua Dr. Roberto Frias
4200-465 Porto, Portugal
T +351 222 094 000
E-mail: info@inesctec.pt
www.inesctec.pt