Responsabile scientifico del progetto
Valerio Schiavoni
Université de Neuchâtel · Svizzera
Direzione scientifica, coordinamento istituzionale e responsabilità del progetto.
TEAM
CIRCULA unisce direzione scientifica e coordinamento quotidiano a prospettive su metodi formali, diritto, istituzioni e adozione.
DIREZIONE SCIENTIFICA E COORDINAMENTO
Direzione del progetto
Il team interno comprende il responsabile del progetto, un postdoc e due dottorandi, con il supporto di partner esterni e internazionali.
Coordinatore scientifico
Vincenzo Di Perna
Université de Neuchâtel · Svizzera
Coordina la roadmap scientifica, il lavoro sui sistemi e gli esperimenti riproducibili sotto la responsabilità del responsabile scientifico. Posizione postdoc prevista.
POSIZIONE PHD APERTA
PhD 1 – Sistemi
Université de Neuchâtel · Svizzera
Semantica eseguibile, prototipi, test di conformità, CI e artefatti di ricerca riproducibili.
POSIZIONE PHD APERTA
PhD 2 – Applicabilità
Université de Neuchâtel · Svizzera
Casi d’uso, analisi dell’applicabilità, ipotesi istituzionali, baseline e scenari di validazione misurabili.
PARTNER E CONSULENZA SCIENTIFICA
Partner di ricerca · diritto
Florence Guillaume
Université de Neuchâtel · Svizzera
Prospettive giuridiche e istituzionali su trasparenza, garanzie procedurali, verificabilità e recupero.
Partner di ricerca · metodi formali
Marco Bernardo
Università degli Studi di Urbino Carlo Bo · Italia
Modellazione formale ed eseguibile e collegamento tra semantica e valutazione delle prestazioni.
Partner di ricerca · adozione
Philip Balsiger
Université de Neuchâtel · Svizzera
Organizzazione dei mercati, incentivi e vincoli di adozione nei contesti di validazione scelti.
Consulente scientifico · sistemi distribuiti
Vincent Gramoli
University of Sydney · Australia
Sistemi blockchain, tolleranza ai guasti e progettazione della valutazione.
Consulente scientifico
Pascal Felber
Université de Neuchâtel · Svizzera
Sistemi di calcolo distribuiti, concorrenti, affidabili e sicuri.
STIAMO ASSUMENDO
Due posizioni PhD aperte
Sistemi, semantica formale e valutazione sperimentale; possibilità di impiego, economia digitale e validazione quantitativa.
Esplora i dottorati