Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
  • Menu
Research Opportunity
Apply now View Formal Call
Research Opportunity



Work description

The project aims to extend a verifiable computation platform to enable efficient computation and verification of functions using floating point calculations. This implies developing a system for synthetizing algebraic circuits that represent these computations in a manner compatible with existing non-interactive zero-knowledge proof libraries.

Academic Qualifications

MSc in computer science or similar

Minimum profile required

Solid background in theoretical cryptography

Preference factors

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

Application Period

Since 02 Dec 2019 to 13 Dec 2019


Cluster / Centre

Computer Science / High-Assurance Software

Scientific Advisor

Manuel Barbosa