Université de Neuchâtel/Schweizerischer Nationalfonds
DE
DOKTORATSSTELLEN
Forschung zu Blockchains und verteilten Systemen an der Université de Neuchâtel in der Schweiz.
Zwei offene Doktoratsstellen
Die vorläufige Bewerbungsfrist ist der 01.12.2026. Voraussichtlicher Beginn: 01.02.2027. Für Bewerbungen und Fragen wenden Sie sich an das Projektteam.
Das Institut für Informatik lädt zu Bewerbungen für zwei vollständig finanzierte Doktoratsstellen im Projekt CIRCULA ein – Blockchain-Systeme mit expliziten Ablaufregeln, ein vierjähriges, vom Schweizerischen Nationalfonds finanziertes Projekt.
PHD 1 / SYSTEMS
Blockchain-Systeme, formale Semantik und experimentelle Evaluation.
Das erste Doktorat konzentriert sich auf den technischen Entwurf, die Implementierung und die Evaluation verteilter Systeme mit expliziten Ablaufregeln.
Formale und ausführbare Modellierung von Ablauf, Verlängerung und Wiederherstellung.
Entwurf von Blockchain- und verteilten Systemprotokollen, Konsens sowie Register- und Zustandsverwaltung.
Konformitätstests und maschinell prüfbare Eigenschaften.
Minimale Prototypen mit einem oder mehreren Knoten und kontrollierte Experimente.
Analyse von Leistung, Netzwerk, Speicher und Ressourcen; reproduzierbare Cluster- und Cloud-Arbeitsabläufe.
Relevante Hintergründe sind verteilte Systeme, Blockchain, Computersysteme, Netzwerke, Software Engineering, formale Methoden und Sicherheit. KI-basierte Systeme, KI-gestützte Tests, moderne Kryptografie und quantensichere Technologien sind willkommen, soweit sie zur Forschungsrichtung passen.
PHD 2 / DEPLOYABILITY
Blockchain-Einsetzbarkeit, digitale Ökonomie und soziotechnische Validierung.
Das zweite Doktorat konzentriert sich auf die Einsetzbarkeit und quantitative Validierung von Mechanismen mit Ablaufregeln, einschliesslich wirtschaftlicher, betrieblicher und institutioneller Bedingungen.
Anwendungsfälle von Blockchains und digitalen Vermögenswerten operationalisieren.
Reale Bedingungen in explizite Systemannahmen und messbare Variablen übersetzen.
Szenarien, Vergleichsreferenzen, Durchsetzungsschichten und Evaluationsmethoden festlegen.
Prüfbarkeit, Wiederherstellung, Transparenz und Anfechtbarkeit untersuchen.
Quantitative Analyse von Anreizen, Marktorganisation, Adoption und dem Verhalten digitaler Vermögenswerte.
Agentenbasierte Modellierung, Simulation und datenbasierte Validierung.
Relevante Hintergründe sind Informatik, Data Science, computergestützte Ökonomie, Informationssysteme, Financial Engineering, computergestützte Sozialwissenschaften, digitale Vermögenswerte und Fintech. Digitale Ökonomie, Kryptoökonomie, Finanzinfrastrukturen, autonome Agenten und KI-gestützte Simulation sind besonders relevant.
Forschungsumgebung
Forschungssoftware, Experimente mit verteilten Systemen, formale Modellierung, quantitative Analyse und Cluster-/Cloud-Bereitstellung. Die Universitätsinfrastruktur umfasst GPU- und SGX/TDX-fähige Ressourcen.
Kenntnisse in einem Teil dieser Technologien und die Bereitschaft, weitere Fähigkeiten zu entwickeln, sind willkommen.
Anforderungsprofil
Ein Masterabschluss in Informatik oder einem eng verwandten Fach ist erforderlich. Wir suchen ausgeprägte analytische Fähigkeiten, Erfahrung in Programmierung und/oder quantitativer Forschung, die Fähigkeit zu selbstständiger Arbeit und zur Diskussion von Methoden und Ergebnissen im Forschungsteam, Interesse an experimenteller Reproduzierbarkeit sowie sehr gute schriftliche und mündliche Englischkenntnisse.
Von Vorteil: Französischkenntnisse auf GER-Niveau B2 oder höher.
Bewerbende können eine Präferenz für Doktorat 1 oder Doktorat 2 angeben oder erklären, dass sie keine Präferenz haben und für beide Stellen berücksichtigt werden möchten. Fundierte Kenntnisse in einigen Bereichen und die Bereitschaft, weitere Kompetenzen zu entwickeln, sind mit den Stellen vereinbar.
Bewerbungsunterlagen
Fassen Sie alle Bewerbungsunterlagen in einer einzigen PDF-Datei zusammen und senden Sie diese an valerio.schiavoni@unine.ch. Verwenden Sie für Ihre Bewerbung genau den Betreff „CIRCULA PhD Application“.
Lebenslauf und Motivationsschreiben mit Forschungsinteressen und gegebenenfalls dem bevorzugten Doktoratsprofil.
Leistungsnachweise und Masterarbeit oder vergleichbare Forschung, sofern vorhanden.
Publikationen, Preprints, Software oder GitHub-/GitLab-Projekte, falls zutreffend.
Eine zeitlich begrenzte Aufgabe kann offene Fragen, eine kompakte technische Aufgabe, Problemanalyse und eine eigene Forschungsidee verbinden. Übliche Entwicklungswerkzeuge und KI-gestützte Werkzeuge dürfen verwendet werden; wesentliche Nutzung muss offengelegt werden. Bewerbende müssen ihre Einreichung erklären und verteidigen können.
CIRCULA verwendet Google Analytics, um Besuche und die Nutzung der Website und des Simulators auszuwerten. Ihre Auswahl können Sie in der Fusszeile ändern.
