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.