Assegni di ricerca, Bandi di concorso, Bandi didattica, ricerca e altre tipologie, Ricerca, Ricerca e didattica
Bando n.29/2022 per n. 1 assegno di ricerca “Punti fissi, Astrazione e Giochi nella Verifica dei Sistemi Software / Fixpoints, Abstraction and Games in the Verification of Software Systems”
Graduatoria
Bando di selezione n.29/2022 per il conferimento di n. 1 assegno, tipo A, per lo svolgimento di attività di ricerca nell’ambito del progetto dal titolo: “Punti fissi, Astrazione e Giochi nella Verifica dei Sistemi Software / Fixpoints, Abstraction and Games in the Verification of Software Systems” da svolgersi presso il Dipartimento di Matematica “Tullio Levi-Civita”, responsabile scientifico Paolo Baldan.
