Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Research Opportunity
Apply now Final Selection Minute 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