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 Pure-past linear time temporal logic and linear dynamic logic on finite traces
Titolo del progetto di ricerca in inglese Pure-past linear time temporal logic and linear dynamic logic on finite traces
Settore Concorsuale 09 - Ingegneria industriale e dell'informazione
S.S.D ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Descrizione sintetica in italiano Sviluppo di tecniche e tool per planning, synthesis e reinforcement learning con pure-past linear time temporal logic and linear dynamic logic on finite traces
Descrizione sintetica in inglese Development of techniques and tool for planning, synthesis and reinforcement learning with pure-past linear time temporal logic and linear dynamic logic on finite traces
Data del bando 04/03/2020
Numero di assegnazioni per anno 1
Stanziamento annuale (indicativo) 24000
Periodicità 24 mesi
E' richiesta mobilità internazionale? no
Paesi in cui può essere condotta la ricerca Italy
Paesi di residenza dei candidati EUROPE
Nazionalità dei candidati OTHER
Sito web del bando https://web.uniroma1.it/trasparenza/pure-past-linear-time-temporal-logic-and-linear-dynamic-logic-finite-traces

 

Dettagli dell'assegno di ricerca
Destinatari dell'assegno di ricerca (of target group) Early stage researcher or 0-4 yrs (Post graduate)
Il contratto prevede la copertura delle prestazioni sociali? yes
Importo annuale 24000
Valuta Euro
Comprende lo stipendio dell'assegnista yes
Comprende vitto e spese di viaggio no
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/albo-pretorio

 

Contatto presso l'Ente
E-mail pecdis@cert.uniroma1.it
Telefono 0677274137

 

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

 

Dettagli per la candidatura
Data di scadenza del bando 03/04/2020
Come candidarsi pecdis@cert.uniroma1.it