Bando per assegno di ricerca
Titolo del progetto di ricerca in italiano | Collaboratore alla ricerca in Pattern formali per sistemi adattativi e loro analisi con tecniche di verifica quantitativa |
---|---|
Titolo del progetto di ricerca in inglese | Research Collaborator in Formal patterns for adaptive systems and their analysis with quantitative verification techniques |
Settore Concorsuale | 01 - Scienze matematiche e informatiche |
S.S.D | INF/01 - INFORMATICA |
Descrizione sintetica in italiano | Attività: ricerca all'interno dell'Unità di Ricerca "SysMA - System Modelling and Analysis". |
Descrizione sintetica in inglese | Activities: research within the "SysMA - System Modelling and Analysis" Research Unit. |
Data del bando | 13/02/2013 |
Numero di assegnazioni per anno | 1 |
Paesi in cui può essere condotta la ricerca |
Italy |
Paesi di residenza dei candidati |
All |
Nazionalità dei candidati |
All |
Sito web del bando | http://www.imtlucca.it/faculty/positions/young-research-fellows_positions/_docs/formal_adaptive_systems-bando.pdf |
Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
---|
Nome dell'Ente finanziatore | IMT Institute for Advanced Studies Lucca |
---|---|
Tipologia dell'Ente | Public research |
Paese dell'Ente | Italy |
Città | Lucca |
Sito web | http://www.imtlucca.it |
researchcollab.opening@imtlucca.it |
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
---|
Data di scadenza del bando | 28/02/2013 |
---|---|
Come candidarsi | http://www.imtlucca.it/faculty/positions/young-research-fellows_positions/2012/application.php |