Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Assistant Professor in Modelling and Analysis of Concurrent Systems |
|---|---|
| Titolo del progetto di ricerca in inglese | Assistant Professor in Modelling and Analysis of Concurrent Systems |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | - |
| Descrizione sintetica in italiano | AMBITI: Fondamenti e specifichi formali di sistemi (distribuiti, mobili, autonomici) concorrenti; modelli quantitativi e qualitativi e analisi dei sistemi concorrenti; progettazione e sviluppo di strumenti software per supportare la loro analisi formale; applicazioni per i sistemi socio economici. ATTIVITA': Ricerca, tutoraggio degli allievi della Scuola, attività didattica, partecipazione allo sviluppo dell'attività di ricerca della scuola. |
| Descrizione sintetica in inglese | FIELDS: Foundations and formal specification of concurrent (distributed, mobile, autonomic) systems. Quantitative and qualitative modelling and analysis of concurrent systems and design and development of software tools to support their formal analysis. Applications to socio economic systems. ACTIVITIES: Research, tutorship and mentoring of the Institute's Ph.D. students, limited teaching and participation in the development of the Institute's research activities. |
| Data del bando | 20/09/2011 |
| 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/Bando_AP_Modelling_and_Analysis_of_Concurrent_Systems.pdf |
| Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|---|
| Criteri di selezione in inglese (breve descrizione) |
A Ph.D. in Computer Science or Computer Engineering is preferable. Candidates should have demonstrated ability in formal methods, in system modelling and in the development of software tools, as well as experience in participation in international projects. |
| Nome dell'Ente finanziatore | IMT Alti Studi Lucca |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Lucca |
| Codice postale | 55100 |
| Indirizzo | Piazza San Ponziano 6 |
| Sito web | http://www.imtlucca.it |
| researchers.opening@imtlucca.it | |
| Telefono | 05834326597 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 31/10/2011 - alle ore 00:00 |
|---|---|
| Come candidarsi | http://www.imtlucca.it/faculty/positions/junior_faculty_recruitment_program.php#current_calls |