Responsable scientifique du projet
Valerio Schiavoni
Université de Neuchâtel · Suisse
Direction scientifique, coordination institutionnelle et responsabilité du projet.
ÉQUIPE
CIRCULA associe direction scientifique et coordination quotidienne à des perspectives issues des méthodes formelles, du droit, des institutions et de l’adoption.
DIRECTION SCIENTIFIQUE ET COORDINATION
Direction du projet
L’équipe interne réunit un chercheur principal, un postdoctorant et deux doctorants, avec le soutien de partenaires externes et internationaux.
Coordinateur scientifique
Vincenzo Di Perna
Université de Neuchâtel · Suisse
Coordonne la feuille de route scientifique, les travaux sur les systèmes et les expériences reproductibles sous la responsabilité du responsable scientifique. Poste postdoctoral prévu.
POSTE DE DOCTORAT OUVERT
Doctorat 1 – Systèmes
Université de Neuchâtel · Suisse
Sémantique exécutable, prototypes, tests de conformité, intégration continue et artefacts de recherche reproductibles.
POSTE DE DOCTORAT OUVERT
Doctorat 2 – Déployabilité
Université de Neuchâtel · Suisse
Cas d’usage, analyse de déployabilité, hypothèses institutionnelles, références de comparaison et scénarios de validation mesurables.
PARTENAIRES ET CONSEIL SCIENTIFIQUE
Partenaire de recherche · droit
Florence Guillaume
Université de Neuchâtel · Suisse
Perspectives juridiques et institutionnelles sur la transparence, les garanties procédurales, l’auditabilité et la récupération.
Partenaire de recherche · méthodes formelles
Marco Bernardo
Università degli Studi di Urbino Carlo Bo · Italie
Modélisation formelle et exécutable, et articulation entre sémantique et évaluation des performances.
Partenaire de recherche · adoption
Philip Balsiger
Université de Neuchâtel · Suisse
Organisation des marchés, incitations et contraintes d’adoption dans les contextes de validation choisis.
Conseiller scientifique · systèmes distribués
Vincent Gramoli
University of Sydney · Australie
Systèmes blockchain, tolérance aux pannes et conception de l’évaluation.
Conseiller scientifique
Pascal Felber
Université de Neuchâtel · Suisse
Systèmes informatiques distribués, concurrents, fiables et sécurisés.
NOUS RECRUTONS
Deux postes de doctorat ouverts
Systèmes, sémantique formelle et évaluation expérimentale ; déployabilité, économie numérique et validation quantitative.
Découvrir les doctorats