ART. 23 - 19/2012/RM - Metodi Formali per la Pianificazione Automatica e la Robotica di Assistenza

È indetta una selezione pubblica per titoli e colloquio per l’assunzione, con contratto di lavoro a tempo determinato ai sensi dell’art. 23 del D.P.R.171/91, di n. 1 unità di personale con profilo professionale di Ricercatore livello III, presso l'Istituto di Scienze e Tecnologie della Cognizione per lo svolgimento del progetto di ricerca “Metodi Formali per la Pianificazione Automatica e la Robotica di Assistenza”

Titolo di studio: Laurea in Ingegneria Informatica

Requisiti:

a)      Titolo di Dottore di Ricerca in Informatica e Automazione, ovvero aver svolto per un triennio attività di ricerca in settori inerenti alle competenze specifiche di cui alla successiva lettera c);
b)      Documentata esperienza di ricerca nelle tematiche seguenti:
a.      Validazione e Verifica in pianificazione automatica,
b.      Uso di strumenti di Model Checking,
c.       Architetture software per il controllo multi-livello in robotica cognitiva
d.      Modalità di interazione uomo-robot
c)       Saranno ritenuti titoli preferenziali la comprovata esperienza in uno o più dei seguenti aspetti:
a.      la partecipazione a progetti di robotica cognitiva
b.      la progettazione e gestione di architetture software per progetti di significative dimensioni
c.       la progettazione di sistemi intelligenti basati su agenti software e robotici
d)      documentata esperienza di ricerca almeno triennale sul tema oggetto del presente bando di concorso;
e)      Conoscenza della lingua inglese, scritta e parlata da valutarsi in sede di  colloquio;
f)        Conoscenza della lingua italiana (solo per i candidati stranieri) da valutarsi in sede di colloquio.