Projektbeschreibung
Neue Techniken zur Automatisierung der Synthese von Quantenschaltungen
Quantenschaltungen bilden die Grundlage für Quantencomputer und Quantenalgorithmen. Die gegenwärtigen Methoden für ihre Gestaltung sind jedoch manuell. Durch die Unterstützung der Marie-Skłodowska-Curie-Maßnahmen zielt das Projekt QuantumSynth darauf ab, die Quantenschaltungssynthese weiterzuentwickeln, indem automatisierte Techniken zur Synthese korrekter Schaltungen für vorgegebene Spezifikationen entwickelt werden – eine Fähigkeit, die über die derzeitigen Technologien hinausgeht. Um ihre Ziele zu erreichen, werden die Forschenden die Spieltheorie nutzen, um Probleme bei der Schaltungsentwicklung zu lösen. Sie werden einfache Modelle der Quantenberechnung, so genannte endliche Quantenautomaten, untersuchen und Methoden entwickeln, um deren Verhalten zu beschreiben und zu überprüfen. Es werden auch neue Instrumente entwickelt, um die erarbeiteten Methoden zu testen. Aufgrund der Automatisierung des Entwurfs von Quantenschaltungen könnte QuantumSynth dazu beitragen, das Quantenrechnen (QC) effizienter und leichter zugänglich zu machen.
Ziel
Quantum circuits form the basic building blocks of quantum computers and algorithms.
Current quantum algorithms are created and analysed manually and in an ad-hoc manner. We want to automatically synthesize correct circuits for given specifications, which is beyond current technologies.
In this project we will develop new techniques for automated synthesis of quantum circuits.
We will do this by advancing game-theoretical approaches for stochastic games and apply them to quantum synthesis problems.
Specifically, we will study games with probabilistic finite automata (PFAs) as both specifications and winning strategies, extending these insights to games with quantum finite automata (QFA). QFAs, the quantum counterparts of PFAs, are the most basic models of quantum computation. We will develop specification languages capable of expressing temporal, geometric, and stochastic properties in quantum computation and study the trade-offs between their expressiveness and effectiveness of related verification problems.
Finally, we will develop proof-of-concept tools to implement the methods derived from this project.
Wissenschaftliches Gebiet (EuroSciVoc)
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
Dieses Projekt wurde noch nicht bei EuroSciVoc klassifiziert.
Schlagen Sie die Wissenschaftsbereiche vor, die Ihrer Einschätzung nach besonders relevant sind, und helfen Sie uns, unseren Klassifizierungsdienst zu verbessern.
Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen
Schlüsselbegriffe
Schlüsselbegriffe des Projekts, wie vom Projektkoordinator angegeben. Nicht zu verwechseln mit der EuroSciVoc-Taxonomie (Wissenschaftliches Gebiet).
Schlüsselbegriffe des Projekts, wie vom Projektkoordinator angegeben. Nicht zu verwechseln mit der EuroSciVoc-Taxonomie (Wissenschaftliches Gebiet).
Programm/Programme
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
-
HORIZON.1.2 - Marie Skłodowska-Curie Actions (MSCA)
HAUPTPROGRAMM
Alle im Rahmen dieses Programms finanzierten Projekte anzeigen
Thema/Themen
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Finanzierungsplan
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
HORIZON-TMA-MSCA-PF-EF - HORIZON TMA MSCA Postdoctoral Fellowships - European Fellowships
Alle im Rahmen dieses Finanzierungsinstruments finanzierten Projekte anzeigen
Aufforderung zur Vorschlagseinreichung
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
(öffnet in neuem Fenster) HORIZON-MSCA-2024-PF-01
Alle im Rahmen dieser Aufforderung zur Einreichung von Vorschlägen finanzierten Projekte anzeigenKoordinator
Finanzieller Nettobeitrag der EU. Der Geldbetrag, den der Beteiligte erhält, abzüglich des EU-Beitrags an mit ihm verbundene Dritte. Berücksichtigt die Aufteilung des EU-Finanzbeitrags zwischen den direkten Begünstigten des Projekts und anderen Arten von Beteiligten, wie z. B. Dritten.
L69 7ZX LIVERPOOL
Vereinigtes Königreich
Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.