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
Fechar
  • Menu
Oportunidade Investigação
Submeter candidatura Final Application Draft Consultar edital
Oportunidade Investigação

Criptografia

[Fechado]

Descrição da Oportunidade

O projeto pretende estender uma plataforma de computação verificável para permitir a computação e verificação eficiente de funções que utilizem cálculos floating point. Isto implica desenvolver um sistema de síntese de circuitos algébricos que representem essas computações de forma compatível com bibliotecas de provas não interativas e de conhecimento nulo existentes.

Habilitações Académicas

Mestrado em ciência de computadores ou afim

Requisitos Mínimos

Conhecimentos sólidos de criptografia teórica

Fatores de Preferência

Experiência em programação Python e C++

Período de candidatura

Desde 02 Dec 2019 a 13 Dec 2019

[Fechado]

Cluster / Centro

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

Orientador

Manuel Barbosa