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

Vacancy type: 
Number: 
Bando di selezione n. ISTC-19-2012-RM - Concorso Art. 23
Issue date: 
Giovedì, 10 Maggio, 2012
Closing date: 
Domenica, 10 Giugno, 2012
Number of people: 
1
Venue: 
ROMA

È 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.

Gazzetta Ufficiale Concorsi Numero: 
36
Data: 
Giovedì, 10 Maggio, 2012