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.
BSc in Informatics Engineering
Minimum profile required
Experience in cryptography and code optimization in low level languages.
Knowledge in zero-knowledge proofs, MPC-in-the-head, and efficient implementation of cryptography in the Jasmin language.
Since 31 Mar 2021 to 15 Apr 2021
Cluster / Centre
Computer Science / High-Assurance Software