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 View Formal Call
Research Opportunity

Information Security


Work description

The successful candidate will be integrated in the research team that works in the development of protocols based on the MPC in the Head paradigm, focusing on the implementation, optimization and verification of code written in Jasmin and EasyCrypt. These activities fall within the range of skills in IT security engineering that are developed within the Computer Science Masters Degrees at the University of Porto.

Academic Qualifications

BSc in Informatics Engineering

Minimum profile required

Experience in cryptography and code optimization in low level languages.

Preference factors

Knowledge in zero-knowledge proofs, MPC-in-the-head, and efficient implementation of cryptography in the Jasmin language.

Application Period

Since 31 Mar 2021 to 15 Apr 2021


Cluster / Centre

Computer Science / High-Assurance Software

Scientific Advisor

Manuel Barbosa