1 Research Project Fellow position
(Deadline December 5th, 2024 13:00 )
Profile
The candidate will conduct research in the area of interest of the SERICS project, in particular, activities concerning formal methods applied to blockchain technology, with the aim of developing new models and advanced methodologies for the formal verification of decentralized finance protocols. The research activity will be integrated in those of the WP1 and WP2 of the project SWOPS of SERICS. Specifically, the candidate will focus on the study and analysis of price manipulation attacks, an emerging type of attack that is challenging to address with current analysis tools. The ideal candidate has a strong background in formal methods applied to blockchain systems and a solid understanding of cybersecurity fundamentals. Proficiency in programming in one or more modern languages is also required.
Activity
The candidate will be responsible for defining formal models for decentralized finance protocols, such as Automated Market Makers and Lending Pools. The developed model should enable the study of various attacks, with a particular focus on price manipulation attacks, an emerging category of attacks that is challenging to address with current smart contract analysis tools. Additionally, the candidate will define and implement a technique that allows protocol developers to establish security policies and verify compliance with these policies during execution.
Formal requirements
- master's degree in in Computer Science, Computer Engineering or equivalent;
- good proficiency in written and spoken English.
Specific requirements
- experience in using formal methods for blockchain and decentralized finance protocols.
Duration
1 year
Gross amount
€ 16.243,00
Project
"SERICS - SEcurity and RIghts in the CyberSpace PE0000014”, codice P0275, CUP: D67G22000340001, finanziato con fondi dell’Unione Europea - Next Generation EU nell’ambito del Piano Nazionale di Ripresa e Resilienza (PNRR), Missione 4 Componente 2, Investimento 1.3 - CUP: D67G22000340001
Application
Applications must be submit through PICA website only using the link at the bottom of this page.
Please note that for the submission of applications on PICA website, login via SPID IS NOT AVAILABLE at the moment - Please register using the alternative methods.
Si segnala che per la presentazione delle candidature sul sito PICA al momento NON E' DISPONIBILE il login tramite SPID - Si prega di effettuare la registrazione secondo le modalità alternative.
Job Research Unit:
SysMA
Job Contract Type:
Borsa a progetto - Project fellowship
Application
Apply ONLINE only.
Before filling in the application form, please read thoroughly the full call and collect all the files you may need:
Info
- Personal info and contact info (compulsory);
- University degree (compulsory);
- PhD (compulsory only if stated in the full call).
Attachments
- The scanned copy of a valid identity document (Passport or Identity Card - compulsory);
- Your CV (compulsory).
Contacts: