nastro nero
Università degli Studi di Padova

Bando n.17/2021 per n. 1 assegno di ricerca “Punti fissi, astrazione e giochi per la verifica di sistemi software / Fixpoints, abstraction and games in the verification of software systems

Scadenza presentazione domande: Venerdì 24 Settembre 2021, ore 13:00 / Deadline: Friday September 24, 2021 at 1 pm

Bando di selezione n.17/2021 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 per la verifica di sistemi software / Fixpoints, abstraction and games in the verification of software systems” da svolgersi presso il Dipartimento di Matematica “Tullio Levi-Civita”, responsabile scientifico Prof. Francesco Ranzato.