Ricerca su blockchain e sistemi distribuiti all’Université de Neuchâtel, in Svizzera.
Due posizioni di dottorato aperte
La scadenza provvisoria per le candidature è il 01.12.2026. Avvio previsto: 01.02.2027. Contattare il gruppo del progetto per candidature e informazioni.
L’Istituto di informatica invita a candidarsi per due posizioni di dottorato interamente finanziate nell’ambito di CIRCULA – progettazione di blockchain con regole di scadenza, un progetto quadriennale finanziato dal Fondo nazionale svizzero.
PHD 1 / SYSTEMS
Sistemi blockchain, semantica formale e valutazione sperimentale.
Il primo dottorato si concentra sulla progettazione tecnica, l’implementazione e la valutazione di sistemi distribuiti che tengano conto della scadenza.
Modellazione formale ed eseguibile di scadenza, rinnovo e recupero.
Progettazione di protocolli blockchain e sistemi distribuiti, consenso, gestione del registro e dello stato.
Test di conformità e proprietà verificabili automaticamente.
Prototipi minimali a nodo singolo o multiplo e sperimentazione controllata.
Analisi di prestazioni, rete, archiviazione e risorse; flussi di lavoro riproducibili su cluster e cloud.
Sono pertinenti percorsi in sistemi distribuiti, blockchain, sistemi informatici, reti, ingegneria del software, metodi formali e sicurezza. Sistemi basati sull’IA, test assistiti dall’IA, crittografia moderna e tecnologie resistenti agli attacchi quantistici sono benvenuti quando rilevanti per la ricerca.
PHD 2 / DEPLOYABILITY
Impiego delle blockchain, economia digitale e validazione sociotecnica.
Il secondo dottorato si concentra sulla possibilità di impiego e sulla validazione quantitativa dei meccanismi con scadenza, inclusi vincoli economici, operativi e istituzionali.
Rendere operativi i casi d’uso di blockchain e asset digitali.
Tradurre i vincoli del mondo reale in assunzioni di sistema esplicite e variabili misurabili.
Definire scenari, riferimenti di confronto, livelli di applicazione e metodi di valutazione.
Studiare verificabilità, recupero, trasparenza e possibilità di contestazione.
Analisi quantitativa di incentivi, organizzazione dei mercati, adozione e comportamento degli asset digitali.
Modellazione ad agenti, simulazione e validazione basata sui dati.
Sono pertinenti percorsi in informatica, data science, economia computazionale, sistemi informativi, ingegneria finanziaria, scienze sociali computazionali, asset digitali e fintech. Economia digitale, criptoeconomia, infrastrutture finanziarie, agenti autonomi e simulazione supportata dall’IA sono particolarmente rilevanti.
Ambiente di ricerca
Software di ricerca, sperimentazione di sistemi distribuiti, modellazione formale, analisi quantitativa e distribuzione su cluster/cloud. L’infrastruttura universitaria include risorse compatibili con GPU e SGX/TDX.
Ingegneria
Python · Go · Rust · Bash Git · Linux · Docker · Kubernetes CI/CD · Reti · Osservabilità Ansible · Terraform / OpenTofu
Modellazione e analisi
TLA+ · Alloy · Spin · Assistenti di prova NumPy · pandas · SciPy · Jupyter · R Framework blockchain/DLT Strumenti IA · Simulazione ad agenti
Sono benvenute la conoscenza di una parte di queste tecnologie e la volontà di sviluppare ulteriori competenze.
Profilo dei candidati
È richiesta una laurea magistrale in informatica o in un ambito strettamente affine. Cerchiamo solide capacità analitiche, esperienza nella programmazione e/o nella ricerca quantitativa, capacità di lavorare in autonomia e discutere metodi e risultati con il gruppo di ricerca, interesse per la riproducibilità sperimentale e ottima conoscenza dell’inglese scritto e parlato.
Titolo preferenziale: conoscenza del francese almeno di livello B2 del QCER.
I candidati possono indicare una preferenza per il dottorato 1 o il dottorato 2, oppure dichiarare di non avere preferenze e chiedere di essere considerati per entrambi. Una solida esperienza in una parte degli ambiti, insieme alla disponibilità a sviluppare le altre competenze, è compatibile con le posizioni.
Documenti per la candidatura
Riunisci tutti i documenti in un unico PDF e invialo a valerio.schiavoni@unine.ch con oggetto “CIRCULA PhD Application”. Usa esattamente questo oggetto per la candidatura.
CV e lettera di motivazione con interessi di ricerca e, se presente, preferenza per il profilo di dottorato.
Certificati degli esami e tesi magistrale o ricerca equivalente, se disponibili.
Pubblicazioni, preprint, software o progetti GitHub/GitLab, se pertinenti.
Una prova di durata limitata può combinare domande aperte, un compito tecnico compatto, l’analisi di un problema e un’idea personale di ricerca. Si possono utilizzare strumenti di sviluppo comuni e assistiti dall’IA, dichiarandone l’uso sostanziale; i candidati devono spiegare e difendere il proprio lavoro.
