Cookies
Usamos cookies para melhorar nosso site e a sua experiência. Ao continuar a navegar no site, você aceita a nossa política de cookies. Ver mais
Aceitar Rejeitar
  • Menu
Oportunidade Investigação
Submeter candidatura Final Application Draft Consultar edital
Oportunidade Investigação

Computação quântica

[Fechado]

Descrição da Oportunidade

Neste trabalho pretende-se estudar a caracterização coalgébrica de autómatos quânticos e a definição de lógicas modais adequadas à especificação e verificação das suas propriedades. O trabalho inclui as seguintes fases: 1. Revisão da literatura relevante; 2. Estudo da modelação coalgébrica de autómatos quânticos; 3. Caracterização da lógica emergente desses modelos; 4. Caracterização de uma extensão paraconsistente da lógica anterior.

Habilitações Académicas

Estudante em Ciências da Computação, Engenharia Física ou Engenharia Informática.

Requisitos Mínimos

Conhecimentos sólidos em informação e computação quântica

Fatores de Preferência

Média elevada nas unidades curriculares relacionadas com informação e computação quântica; Experiência de programação em Qiskit ou Quipper; domínio da língua inglesa.

Período de candidatura

Desde 26 May 2020 a 08 Jun 2020

[Fechado]

Cluster / Centro

Informática / Laboratório de Software Confiável