Progettazione e compilazione automatizzata di circuiti quantistici precision-aware - 2026_CDR_DEIB_10

Le attività saranno svolte nell'ambito del progetto SPQR – Smart Precision for Quantum Resilience e riguarderanno la progettazione di circuiti e sottocircuiti quantistici, affiancata dallo sviluppo di metodologie e strumenti per automatizzarne la sintesi, la compilazione e l'ottimizzazione. Particolare attenzione sarà dedicata alla realizzazione di circuiti aritmetici esatti e approssimati, alla propagazione dei requisiti di precisione e all'analisi dei compromessi tra accuratezza, probabilità di successo, affidabilità e risorse computazionali. Le soluzioni sviluppate saranno studiate e validate nei domini applicativi del quantum machine learning, dell'ottimizzazione combinatoria, della crittoanalisi quantistica e degli algoritmi quantistici di ricerca. Le attività comprenderanno inoltre la stima delle risorse e lo studio di strategie selettive per l'allocazione dei budget di quantum error correction.