Descrizione posizione

Titolo del progetto di ricerca in italiano	ALGORITMI E TOOL DI MODEL CHECKING PER LA VERIFICA E LA SINTESI DI SISTEMI IBRIDI
Titolo del progetto di ricerca in inglese	MODEL CHECKING ALGORITHMS AND TOOLS FOR VERIFICATION AND SYNTHESIS OF HYBRID SYSTEMS.
Descrizione sintetica in italiano	ESECUZIONE DEL PROGRAMMA DI RICERCA "MODEL CHECKING ALGORITHMS AND TOOLS FOR VERIFICATION AND SYNTHESIS OF HYBRID SYSTEMS" RELATIVO AI PROGETTI DI RICERCA PAEON E SMARTHG.
Descrizione sintetica in inglese	IMPLEMENTATION OF THE RESEARCH PROGRAMME "MODEL CHECKING ALGORITHMS AND TOOLS FOR VERIFICATION AND SYNTHESIS OF HYBRID SYSTEMS" AS RELATED TO PAEON AND SMARTHG RESEARCH PROJECTS.
Numero posti	1
Campo principale della ricerca	Computer science
Sottocampo della ricerca	Systems design
Settore Concorsuale	01/B1 - INFORMATICA
S.S.D	INF/01 - INFORMATICA
Destinatari del bando (of target group)	Experienced researcher or 4-10 yrs (Post-Doc)
Data del bando	01/04/2014

 

FP7 / PEOPLE / Marie Curie Actions

Research Framework Programme / Marie Curie Actions	FP7
Marie Curie Job Reference Number	1

 

Dettagli dell'impiego

Tipo di contratto	Temporary
Tempo	Full-time
Ore settimanali	40
Organizzazione/Ente	DIPARTIMENTO DI INFORMATICA DELL'UNIVERSITA' DEGLI STUDI DI ROMA LA SAPIENZA
Paese (dove si svolgerà l'attività)	ITALY
Stato/Provincia	ROMA
Città	ROMA
Codice postale	00198
Indirizzo	VIA SALARIA 113

 

Contatto presso l'Organizzazione/Ente

Organizzazione/Ente	UNIVERSITA' DEGLI STUDI DI ROMA LA SAPIENZA
Tipo	Academic
Facoltà/Dipartimento/Laboratorio di ricerca	DIPARTIMENTO DID INFORMATICA
Paese	ITALY
Stato/Provincia	ROMA
Città	ROMA
Codice postale	00198
Indirizzo	VIA SALARIA 113
E-mail	concorsi.rtd@di.uniroma1.it
Sito web	http://www.di.uniroma1.it
Telefono	06 49918530
Fax	06 8841964

 

Dettagli per la candidatura

Data prevedibile per l'assunzione	01/07/2014
Data di scadenza del bando	02/05/2014 - alle ore 23:59
Come candidarsi	concorsi.rtd@di.uniroma1.it

 

Titoli di studio richiesti

Laurea	PhD or equivalent
Ambito della laurea	Computer science

 

Esperienze di ricerca richieste

Campo principale della ricerca	Computer science
Sottocampo della ricerca	Systems design
Anni di esperienza richiesti	5

 

Lingue richieste

Lingua	ENGLISH
Livello di conoscenza della lingua	Good

 

Requisiti aggiuntivi

Competenze richieste in italiano

- progettazione e realizzazione di algoritmi per la sintesi automatica di software di controllo a partire dal sistema ibrido che modella il sistema controllato e dalle specifiche formali del sistema a ciclo chiuso. Questa competenza deve essere comprovata dal candidato con almeno tre pubblicazioni su conferenza internazionale o su rivista internazionale; - progettazione e realizzazione di algoritmi per la verifica formale di sistemi ibridi. Questa competenza deve essere comprovata dal candidato con almeno una pubblicazione su conferenza internazionale o su rivista internazionale; - progettazione e realizzazione di algoritmi per la verifica formale di requisiti di sistema tramite generazione esaustiva di scenari di simulazione per sistemi ibridi. Questa competenza deve essere comprovata dal candidato con almeno una pubblicazione su conferenza internazionale o su rivista internazionale; - Progettazione e realizzazione di algoritmi per la verifica formale di equilibri di Nash per sistemi distribuiti di tipo MAD (Multiple Administrative Domains). Questa competenza deve essere comprovata dal candidato con almeno una pubblicazione su conferenza internazionale o su rivista internazionale.

Competenze richieste in inglese

- Design and implementation of algorithms for the automatic synthesis of control software starting from the hybrid system that models the controlled system and the formal specification of the closed-loop system . This competence must be demonstrated by the candidate with at least three publications in international journals or international conference ; - Design and implementation of algorithms for the formal verification of hybrid systems. This competence must be demonstrated by the candidate with at least one publication in international journals or international conference ; - Design and implementation of algorithms for the formal verification of system requirements through exhaustive generation of simulation scenarios for hybrid systems. This competence must be demonstrated by the candidate with at least one publication in international journals or international conference ; - Design and implementation of algorithms for formal verification of Nash equilibria for distributed systems of type MAD (Multiple Administrative Domains) . This competence must be demonstrated by the candidate with at least one international conference or publication of an international journal .