Imt - Alti Studi Lucca , 1 assistant professor

Si rende noto che presso la Scuola IMT Alti studi Lucca e'
indetta una procedura di valutazione comparativa per una posizione di
assistant professor, mediante incarico di ricercatore a tempo
determinato ai sensi dell'art. 24, comma 3, lettera b), della legge
n. 240/2010 nell'ambito di Software Verification.
Con le seguenti specifiche:
profilo e attivita': il candidato ideale avra' esperienza di
ricerca nell'ambito della verifica del software, intesa in senso lato
come l'insieme di strumenti e metodologie per assicurare che il
software funzioni correttamente, senza comportamenti indesiderati, e
aderendo a misure di qualita' come l'affidabilita', le prestazioni e
la sicurezza. Cio' include background in diverse aree
dell'informatica, come la teoria e l'implementazione dei linguaggi di
programmazione, i metodi formali, la verifica assistita dal computer
e l'ingegneria del software, con competenze che abbracciano l'intero
ciclo di vita dello sviluppo del software, dai requisiti ai test e
alla validazione.
Il candidato prescelto avra' un eccellente record di
pubblicazioni nelle conferenze e nelle riviste piu' rilevanti in
materia di verifica del software. Una precedente esperienza di
trasferimento tecnologico e, in generale, di impatto al di fuori
dell'ambiente accademico sara' un vantaggio.
E' previsto un coinvolgimento nella ricerca e nell'insegnamento
relativi alla verifica del software nell'ambito di offerte formative
concernenti la qualita' del software e la sicurezza informatica,
supervisionando studenti di dottorato e tenendo lezioni a livello
avanzato in corsi dottorali e di laurea. Data la natura
interdisciplinare della Scuola, il candidato prescelto avra'
l'opportunita' di esplorare le collaborazioni in corso - e di aprirne
di nuove - con ricercatori di altre discipline scientifiche.
Settore scientifico disciplinare: INF/01 - Informatica - settore
concorsuale INF/01 - Informatica.
Tipologia contrattuale: ricercatore a tempo determinato ai sensi
della legge n. 240/2010, art. 24, comma 3, lettera b).
Durata: tre anni.
Il bando di concorso con indicazione delle modalita' di
presentazione delle domande e' pubblicato all'Albo on-line della
Scuola e nella pagina dedicata alla procedura del sito
www.imtlucca.it
Il termine di scadenza per la presentazione delle domande e' il
sessantesimo giorno successivo alla pubblicazione del bando, alle
12,00 (mezzogiorno) ora italiana.