Post-Doc
University Roma Tre, Department of Mathematics and Physics
one-year research grant to be carried out under the research project:
Logical Methods and Formal Verification of Post-Quantum Cryptographic Algorithms
Funding Source: Laboratory of Cryptography and Cybersecurity
Duration: One year (with the possibility of extension for an additional year)
Application Deadline: January 10, 2025
Research Areas: Cryptography, Algebra, Computer Science, Mathematical Logic.
Bando di concorso Rep. 24_Prot. 2068/2024 (https://bit.ly/3BDCCo2)
Contact: Prof. Marco Pedicini
Department of Mathematics and Physics
Roma Tre University
Via della Vasca Navale 84 I-00146 Roma (Italy)
Email: marco.pedicini@uniroma3.it
Website: http://www.mat.uniroma3.it/users/pedicini
Last updated: 2024-12-31 posted on 2024-12-28