Assegno di ricerca, Università degli Studi di Genova

Verifica Automatica di Sistemi reattivi basata su Risoluzione di Vincoli

E' indetto un concorso per il conferimento di n.1 borsa di studio annuale per lo svolgimento di una ricerca sul tema "Verifica Automatica di Sistemi reattivi basata su Risoluzione di Vincoli" presso il Dipartimento di Informatica e Scienze dell'Informazione. Requisiti: Dottorato in Informatica o Laurea in Informatica o in Ingegneria Informatica con curriculum idoneo.
Allegato A - elenco degli assegni

Scade il: 17 luglio 2003

Borse di studio dell'area Scientifica »