Descrizione posizione

Titolo del progetto di ricerca in italiano	Modelizzazione e analisi di sistemi complessi
Titolo del progetto di ricerca in inglese	Modeling and analysis of complex systems
Descrizione sintetica in italiano	Metodi formali e semiformali per la specifica, la verifica statica e dinamica di sistemi concorrenti, distribuiti e real-time
Descrizione sintetica in inglese	Formal and semi-formal methods for the specification, static and dynamic verification of concurrent, distributed and real-time systems
Numero posti	1
Settore Concorsuale	01/B1 - INFORMATICA
S.S.D	INF/01 - INFORMATICA
Destinatari del bando (of target group)	Experienced researcher or 4-10 yrs (Post-Doc)
Data del bando	06/04/2012

 

FP7 / PEOPLE / Marie Curie Actions

Research Framework Programme / Marie Curie Actions	No

 

Dettagli dell'impiego

Tipo di contratto	Temporary
Tempo	Other
Organizzazione/Ente	Università di Camerino
Paese (dove si svolgerà l'attività)	ITALY
Stato/Provincia	Macerata
Città	Camerino

 

Contatto presso l'Organizzazione/Ente

Organizzazione/Ente	Università di Camerino
Tipo	Academic
Paese	ITALY
Stato/Provincia	Macerata
Città	Camerino
E-mail	annamaria.antonini@unicam.it
Sito web	http://www.unicam.it/servizi_online/cerca_bandi.asp

 

Dettagli per la candidatura

Data di scadenza del bando	26/06/2012
Come candidarsi	Other

 

Titoli di studio richiesti

 

Lingue richieste

Lingua	ENGLISH
Livello di conoscenza della lingua	Good