Bandi per assegni di ricerca

Univ. NAPOLI

Bando per assegno di ricerca

Descrizione del bando
Titolo del progetto di ricerca in italiano	MODEL CHECKING DI SISTEMI A STATI INFINITI
Titolo del progetto di ricerca in inglese	MODEL CHECKING OF INFINITE STATE SYSTEMS

Campo principale della ricerca	Information science
Sottocampo della ricerca	Information management

Area CUN	01 - Scienze matematiche e informatiche
S.S.D	INF/01 - INFORMATICA

Descrizione sintetica in italiano	Studio del problema di model checking per sistemi a stati infiniti legati a formalismi di macchine sequenziali ricorsive.
Descrizione sintetica in inglese	The focus of investigation is model of checking for infinite state systems related to the formalism of sequential recursive machines.
Data del bando	11/01/2019
Numero di assegnazioni per anno	1
Stanziamento annuale (indicativo)	19367
Periodicità	12 MESI
E' richiesta mobilità internazionale?	no
Paesi in cui può essere condotta la ricerca	Italy
Paesi di residenza dei candidati	EUROPE
Nazionalità dei candidati	EUROPE
Sito web del bando	http://albo ufficiale www.unina.it. www.dieti.unina.it

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	25800
Valuta	Euro
Comprende lo stipendio dell'assegnista	yes

Finanziatore
Nome dell'Ente finanziatore	DIPARTIMENTO DI INGEGNERIA ELETTRICA E DELLE TECNOLOGIE DELL'INFORMAZIONE DELL'UNIVERSITA' DEGLI STUDI DI NAPOLI FEDERICO II
Tipologia dell'Ente	Public research
Paese dell'Ente	Italy
Città	Naples
Codice postale	80125
Indirizzo	via Claudio 21
Sito web	http://www.unina.it; www.dieti.unina.it

Contatto presso l'Ente
E-mail	sole@unina.it
Telefono	0817683216

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

Dettagli per la candidatura
Data di scadenza del bando	01/02/2019
Come candidarsi	Other