Recherche sur les blockchains et les systèmes distribués à l’Université de Neuchâtel, en Suisse.
Deux postes de doctorat ouverts
La date limite provisoire de candidature est le 01.12.2026. Début prévu : 01.02.2027. Contactez l’équipe du projet pour les candidatures et les renseignements.
L’Institut d’informatique invite les candidatures pour deux postes de doctorat entièrement financés au sein de CIRCULA – conception des blockchains intégrant l’expiration, un projet de quatre ans financé par le Fonds national suisse.
PHD 1 / SYSTEMS
Systèmes blockchain, sémantique formelle et évaluation expérimentale.
Le premier doctorat porte sur la conception technique, l’implémentation et l’évaluation de systèmes distribués tenant compte de l’expiration.
Modélisation formelle et exécutable de l’expiration, du renouvellement et de la récupération.
Conception de protocoles blockchain et de systèmes distribués, consensus, gestion du registre et de l’état.
Tests de conformité et propriétés vérifiables par machine.
Prototypes minimaux à un ou plusieurs nœuds et expérimentation contrôlée.
Analyse des performances, du réseau, du stockage et des ressources ; processus reproductibles sur clusters et dans le cloud.
Les parcours pertinents comprennent les systèmes distribués, la blockchain, les systèmes informatiques, les réseaux, le génie logiciel, les méthodes formelles et la sécurité. Les systèmes utilisant l’IA, les tests assistés par l’IA, la cryptographie moderne et les technologies résistantes aux attaques quantiques sont bienvenus lorsqu’ils servent l’orientation de recherche.
PHD 2 / DEPLOYABILITY
Déployabilité des blockchains, économie numérique et validation sociotechnique.
Le second doctorat porte sur la déployabilité et la validation quantitative des mécanismes tenant compte de l’expiration, notamment leurs contraintes économiques, opérationnelles et institutionnelles.
Opérationnaliser les cas d’usage des blockchains et des actifs numériques.
Traduire les contraintes réelles en hypothèses système explicites et en variables mesurables.
Définir les scénarios, les références de comparaison, les couches d’application et les méthodes d’évaluation.
Étudier l’auditabilité, la récupération, la transparence et la contestabilité.
Analyse quantitative des incitations, de l’organisation des marchés, de l’adoption et du comportement des actifs numériques.
Modélisation à base d’agents, simulation et validation fondée sur les données.
Les parcours pertinents comprennent l’informatique, la science des données, l’économie computationnelle, les systèmes d’information, l’ingénierie financière, les sciences sociales computationnelles, les actifs numériques et la fintech. L’économie numérique, la cryptoéconomie, les infrastructures financières, les agents autonomes et la simulation assistée par l’IA sont particulièrement pertinents.
Environnement de recherche
Logiciels de recherche, expérimentation de systèmes distribués, modélisation formelle, analyse quantitative et déploiement sur clusters ou dans le cloud. L’infrastructure universitaire comprend des ressources compatibles GPU et SGX/TDX.
TLA+ · Alloy · Spin · Assistants de preuve NumPy · pandas · SciPy · Jupyter · R Cadriciels blockchain/DLT Outils d’IA · Simulation à base d’agents
La connaissance d’une partie de ces technologies et la volonté de développer d’autres compétences sont bienvenues.
Profil recherché
Un master en informatique, ou dans un domaine étroitement apparenté, est requis. Nous recherchons de solides capacités d’analyse, une expérience en programmation et/ou en recherche quantitative, la capacité de travailler de manière autonome et de discuter des méthodes et des résultats au sein de l’équipe de recherche, un intérêt pour la reproductibilité expérimentale et une excellente maîtrise de l’anglais écrit et oral.
Atout : français de niveau B2 du CECRL ou supérieur.
Les candidats peuvent indiquer une préférence pour le doctorat 1 ou le doctorat 2, ou préciser ne pas avoir de préférence et demander à être considérés pour les deux. Une expertise solide dans une partie des domaines, associée à la volonté de développer les autres compétences, est compatible avec ces postes.
Dossier de candidature
Rassemblez tous les documents dans un seul PDF et envoyez-le à valerio.schiavoni@unine.ch avec pour objet « CIRCULA PhD Application ». Utilisez exactement cet objet pour votre candidature.
CV et lettre de motivation présentant les intérêts de recherche et, le cas échéant, le profil de doctorat préféré.
Relevés de notes et mémoire de master ou recherche équivalente, si disponibles.
Publications, prépublications, logiciels ou projets GitHub/GitLab, le cas échéant.
Un exercice de durée limitée peut combiner des questions ouvertes, une tâche technique concise, l’analyse d’un problème et une idée personnelle de recherche. Les outils de développement courants et ceux assistés par l’IA peuvent être utilisés, en déclarant les usages substantiels ; les candidats doivent pouvoir expliquer et défendre leur travail.
CIRCULA utilise Google Analytics pour mesurer les visites et l’utilisation du site et de son simulateur. Vous pouvez modifier votre choix en bas de page.
