Bando di selezione n.10/2024 per il conferimento di n. 1 assegno, tipo A, per lo svolgimento di attività di ricerca nell’ambito del progetto dal titolo: “Metodi formali per l’integrazione di vincoli logici in reti neurali/ Formal methods for logical constraint integration in neural networks“
Graduatoria
Bando di selezione n.10/2024 per il conferimento di n. 1 assegno, tipo A, per lo svolgimento di attività di ricerca nell’ambito del progetto dal titolo: “Metodi formali per l’integrazione di vincoli logici in reti neurali/ Formal methods for logical constraint integration in neural networks” – da svolgersi presso il Dipartimento di Matematica “Tullio Levi-Civita”, responsabile scientifico Matteo Zavatteri
