Assegno di ricerca, Università degli Studi di Bologna

Progettazione e implementazione di strumenti di supporto alla verifica automatica di teoremi

E' bandito un concorso presso il Dipartimento di Scienze dell'Informazione dell'Alma Mater Studiorum Università di Bologna per n.1 assegno di ricerca per lo svolgimento di attività di collaborazione al progetto: "Progettazione e implementazione di strumenti di supporto alla verifica automatica di teoremi". La selezione è aperta a dottori di ricerca e laureati in possesso di curriculum scientifico-professionale idoneo. La durata è annuale; l'importo è di € 15.493,71 lordi.

Scade il: 07 ottobre 2003

Borse di studio dell'area Scientifica »