Principal investigator
Valerio Schiavoni
Université de Neuchâtel · Switzerland
Scientific leadership, institutional coordination and responsibility for the project.
TEAM
CIRCULA combines scientific leadership and day-to-day coordination with formal-methods, legal, institutional and adoption perspectives.
SCIENTIFIC LEADERSHIP & COORDINATION
Project leadership
The core team brings together one principal investigator, one postdoc and two PhD researchers, supported by external and international partners.
Scientific coordinator
Vincenzo Di Perna
Université de Neuchâtel · Switzerland
Coordinates the scientific roadmap, systems work and reproducible experiments under PI responsibility. Planned postdoc.
OPEN PHD POSITION
PhD 1 – Systems
Université de Neuchâtel · Switzerland
Executable semantics, prototypes, conformance testing, CI and reproducible research artefacts.
OPEN PHD POSITION
PhD 2 – Deployability
Université de Neuchâtel · Switzerland
Use cases, deployability analysis, institutional assumptions, baselines and measurable validation scenarios.
RESEARCH PARTNERS & SCIENTIFIC ADVICE
Research partner · law
Florence Guillaume
Université de Neuchâtel · Switzerland
Legal and institutional perspectives on transparency, due process, auditability and recovery.
Research partner · formal methods
Marco Bernardo
Università degli Studi di Urbino Carlo Bo · Italy
Formal and executable modelling, and the connection between semantics and performance evaluation.
Research partner · adoption
Philip Balsiger
Université de Neuchâtel · Switzerland
Market organisation, incentives and adoption constraints in selected validation contexts.
Scientific advisor · distributed systems
Vincent Gramoli
University of Sydney · Australia
Blockchain systems, fault tolerance and evaluation design.
Scientific advisor
Pascal Felber
Université de Neuchâtel · Switzerland
Distributed, concurrent, dependable and secure computing systems.
WE ARE HIRING
Two open PhD positions
Systems, formal semantics and experimental evaluation; deployability, digital economy and quantitative validation.
Explore the PhD positions