Gazzetta n. 23 del 22 marzo 2022 (vai al sommario) SCUOLA IMT ALTI STUDI LUCCA CONCORSO Valutazione comparativa per la copertura di un posto di assistant professor, a tempo determinato della durata di tre anni. 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.