Wissenschaftlicher Projektleiter
Valerio Schiavoni
Université de Neuchâtel · Schweiz
Wissenschaftliche Leitung, institutionelle Koordination und Verantwortung für das Projekt.
TEAM
CIRCULA verbindet wissenschaftliche Leitung und tägliche Koordination mit Perspektiven aus formalen Methoden, Recht, Institutionen und Adoption.
WISSENSCHAFTLICHE LEITUNG UND KOORDINATION
Projektleitung
Das interne Team besteht aus einem Projektleiter, einem Postdoc und zwei Promovierenden, unterstützt von externen und internationalen Partnern.
Wissenschaftlicher Koordinator
Vincenzo Di Perna
Université de Neuchâtel · Schweiz
Koordiniert die wissenschaftliche Planung, die Systemarbeiten und reproduzierbare Experimente unter Verantwortung des Projektleiters. Geplante Postdoc-Stelle.
OFFENE PROMOTIONSSTELLE
Promotion 1 – Systeme
Université de Neuchâtel · Schweiz
Ausführbare Semantik, Prototypen, Konformitätstests, CI und reproduzierbare Forschungsartefakte.
OFFENE PROMOTIONSSTELLE
Promotion 2 – Einsetzbarkeit
Université de Neuchâtel · Schweiz
Anwendungsfälle, Einsetzbarkeitsanalysen, institutionelle Annahmen, Vergleichsgrundlagen und messbare Validierungsszenarien.
FORSCHUNGSPARTNER UND BERATUNG
Forschungspartnerin · Recht
Florence Guillaume
Université de Neuchâtel · Schweiz
Rechtliche und institutionelle Perspektiven auf Transparenz, Verfahrensgarantien, Prüfbarkeit und Wiederherstellung.
Forschungspartner · formale Methoden
Marco Bernardo
Università degli Studi di Urbino Carlo Bo · Italien
Formale und ausführbare Modellierung sowie die Verbindung zwischen Semantik und Leistungsbewertung.
Forschungspartner · Adoption
Philip Balsiger
Université de Neuchâtel · Schweiz
Marktorganisation, Anreize und Adoptionsbedingungen in den ausgewählten Validierungskontexten.
Wissenschaftlicher Berater · verteilte Systeme
Vincent Gramoli
University of Sydney · Australien
Blockchain-Systeme, Fehlertoleranz und Evaluationsdesign.
Wissenschaftlicher Berater
Pascal Felber
Université de Neuchâtel · Schweiz
Verteilte, nebenläufige, zuverlässige und sichere Rechnersysteme.
WIR STELLEN EIN
Zwei offene Promotionsstellen
Systeme, formale Semantik und experimentelle Evaluation; Einsetzbarkeit, digitale Ökonomie und quantitative Validierung.
Doktoratsstellen entdecken