Bandi per assegni di ricerca

ROMA "La Sapienza"

Torna ai risultati della ricerca
Bando per assegno di ricerca
Descrizione del bando
Titolo del progetto di ricerca in italiano Sintesi automatica di programmi Best Effort per generare comportamenti resilienti in agenti intelligenti
Titolo del progetto di ricerca in inglese Automatic synthesis of Best Effort programs to generate resilient behaviors in intelligent agents
Area CUN 09 - Ingegneria industriale e dell'informazione
S.S.D ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Descrizione sintetica in italiano Studio e sviluppo di tecniche e strumenti per definire e risolvere la sintesi automatica di programmi Best Effort a partire da specifiche dell'Environment e del Task in logica temporale, utilizzando automi su oggetti finiti/infiniti, per generare comportamenti resilienti in agenti intelligenti.
Descrizione sintetica in inglese Study and development of techniques and tools to define and solve the automatic synthesis of Best Effort programs starting from Environment and Task specifications in temporal logic using automata over finite/infinite objects to generate resilient behaviors in intelligent agents.
Data del bando 15/09/2022
Numero di assegnazioni per anno 1
Periodicità 24 mesi
Paesi in cui può essere condotta la ricerca Italy
Paesi di residenza dei candidati OTHER
Nazionalità dei candidati OTHER
Sito web del bando https://web.uniroma1.it/trasparenza/bando/194561_32

 

Dettagli dell'assegno di ricerca
Destinatari dell'assegno di ricerca (of target group) Experienced researcher or 4-10 yrs (Post-Doc)
Il contratto prevede la copertura delle prestazioni sociali? yes
Importo annuale 40000
Valuta Euro
Comprende il costo della ricerca no

 

Finanziatore
Nome dell'Ente finanziatore UNIVERSITA' DI ROMA LA SAPIENZA
Tipologia dell'Ente Public research
Paese dell'Ente Italy
Città ROMA
Codice postale 00185
Indirizzo VIA ARIOSTO 25
Sito web https://web.uniroma1.it/trasparenza/

 

Contatto presso l'Ente
E-mail fabio.tufilli@uniroma1.it
Telefono 0677274137

 

EU Research Framework Programme
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? No

 

Dettagli per la candidatura
Data di scadenza del bando 15/10/2022
Come candidarsi Other