Descrizione posizione

Titolo del progetto di ricerca in italiano	Modellazione e Verifica di Sistemi Decentralizzati
Titolo del progetto di ricerca in inglese	Modeling and Verification of Decentralized Systems
Descrizione sintetica in italiano	L'obiettivo dell'attività di ricerca è quello di sviluppare notazioni di descrizione formale basate su automi e algebre di processi come pure tecniche di analisi automatica basate su equivalence e model checking che risultino adeguate per sistemi decentralizzati, con particolare riferimento ad applicazioni in ambito blockchain e valute digitali. Le caratteristiche da esaminare in tali sistemi includono le funzionalità, le prestazioni, la sicurezza ed eventuali aspetti di reversibilità.
Descrizione sintetica in inglese	The goal of the research activity is to develop formal description notations based on automata and process algebras as well as automated analysis techniques based on equivalence and model checking that turn out to be adequate for decentralized systems, with special emphasis on applications to blockchains and digital currencies. The characteristics to be examined in these systems include functionality, performance, security, and possible reversibility aspects.
Numero posti	1
G.S.D.	01/INFO-01 - INFORMATICA
S.S.D	INFO-01/A - Informatica
Destinatari del bando (of target group)	Experienced researcher or 4-10 yrs (Post-Doc)
Data del bando	15/05/2025

 

FP7 / PEOPLE / Marie Curie Actions

Research Framework Programme / Marie Curie Actions	No

 

Dettagli dell'impiego

Tipo di contratto	Temporary
Tempo	Other
Organizzazione/Ente	Università degli Studi di Urbino Carlo Bo
Paese (dove si svolgerà l'attività)	ITALY
Città	URBINO

 

Contatto presso l'Organizzazione/Ente

Organizzazione/Ente	Università degli Studi di Urbino Carlo Bo
Tipo	Academic
Paese	ITALY
Città	URBINO
E-mail	amministrazione.reclutamento.pdoc@uniurb.it
Sito web	https://www.uniurb.it/concorsi/9199

 

Dettagli per la candidatura

Data di scadenza del bando	07/07/2025 - alle ore 23:59
Come candidarsi	https://www.uniurb.it/concorsi/9199

 

Titoli di studio richiesti