MODELING AND SECURITY ANALYSIS OF PROTOCOLS FOR DECENTRALIZED FINANCE
Descrizione dell'offerta di lavoro
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 € Project "SERICS - SEcurity and RIghts in the CyberSpace PE”, codice P, CUP.
D67G, 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.
- CUP.
D67G 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 Full call _rpg-modelling-serics-full_call-it.
df Application Apply ONLINE only.
Guidelines for applying through the PICA platform (Italian | English).
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.
Dettagli dell'offerta
- Imprecisato
- Tutta l'Italia
- Imprecisato - Imprecisato
- 24/12/2024
- 24/03/2025
•provide specific training of new products and prepare csrs... •attend and participate in training plans that are established in the company for recycling and development... as a trainer, you will support the training and quality department in all of its functions to obtain the maximum levels of quality......
Responsibilities management of consumer requests relating to information and complaints through different channels (i... we guarantee compliance with preventive regulations to ensure the care for the safety and health of workers in our facilities or in teleworking... explore you career possibilities......
We guarantee compliance with preventive regulations to ensure the care for the safety and health of workers in our facilities or in teleworking... responsibilities main activities: management of consumer requests relating to information and complaints through different channels (i......
We guarantee compliance with preventive regulations to ensure the care for the safety and health of workers in our facilities or in teleworking... responsibilities main activities: management of consumer requests relating to information and complaints through different channels (i... are you also #driventogofurther?......
We guarantee compliance with preventive regulations to ensure the care for the safety and health of workers in our facilities or in teleworking... responsibilities main activities: management of consumer requests relating to information and complaints through different channels (i... are you also #driventogofurther?......
We guarantee compliance with preventive regulations to ensure the care for the safety and health of workers in our facilities or in teleworking... responsibilities main activities: management of consumer requests relating to information and complaints through different channels (i... are you also #driventogofurther?......
We guarantee compliance with preventive regulations to ensure the care for the safety and health of workers in our facilities or in teleworking... responsibilities main activities: management of consumer requests relating to information and complaints through different channels (i... are you also #driventogofurther?......
Main activities: management of consumer requests relating to information and complaints through different channels (i... explore you careers possibilities and work on your personal development... live chat, phone, emails, webforms, social 1:1) by providing excellent solution, service, product and beauty......
Main activities: management of consumer requests relating to information and complaints through different channels (i... explore you careers possibilities and work on your personal development... live chat, phone, emails, webforms, social 1:1) by providing excellent solution, service, product and beauty......
Main activities: management of consumer requests relating to information and complaints through different channels (i... explore you careers possibilities and work on your personal development... live chat, phone, emails, webforms, social 1:1) by providing excellent solution, service, product and beauty......
