Assegno di ricerca, Politecnico di Torino

Tecniche di Boolean Satisfiability (SAT) nell'ambito della verifica formale di sistemi sequenziali

Il Politecnico di Torino bandisce un concorso per n. 1 assegno per la collaborazione ad attività di ricerca nel settore scientifico-disciplinare ING-INF/05 – Sistemi di elaborazione delle informazioni per il seguente progetto: ''Tecniche di Boolean Satisfiability (SAT) nell'ambito della verifica formale di sistemi sequenziali''. Titolo di studio richiesto: Laurea in Ingegneria Elettronica, Ingegneria Informatica, Ingegneria delle Telecomunicazioni. L'assegno è annuale e prorogabile; l'importo è di € 16.138,00 lordi.

Scade il: 18 giugno 2004

Per ulteriori informazioni: Politecnico di Torino

Borse di studio dell'area Ingegneria »