Selezione pubblica n° BO21/25, per titoli, per il conferimento di una borsa di ricerca post lauream dal titolo: “Sviluppo di un framework formale per l’analisi e la verifica di Circuiti Quantistici Variazionali finalizzato a studiare e analizzare applicazioni nel contesto del Quantum Machin Learning”