Descrizione posizione

Titolo del progetto di ricerca in italiano	Metodi formali, linguaggi formali, modellazione e simulazione di sistemi software complessi
Titolo del progetto di ricerca in inglese	Formal methods and formal languages, modelling and simulation of complex software system
Descrizione sintetica in italiano	Il progetto di ricerca ha lo scopo di definire e progettare metodi, linguaggi e strumenti innovativi per la creazione, la simulazione e l’analisi di modelli di sistemi software. I campi di applicazione potranno essere i sistemi software/hardware e i sistemi software complessi nell’ambito delle scienze fisiche, scienze della vita e sociali. I nuovi metodi, linguaggi e strumenti dovranno far avanzare lo stato dell’arte, essere applicabili in situazioni reali e attrarre finanziamenti internazionali
Descrizione sintetica in inglese	The research project aims at the definition and the development of methods, languages and innovative tools for the devising, the simulation and the analysis of models of software systems. Possible application fields may be software/hardware systems and complex software systems in physical science, life science and social science. The new methods, languages and tools should advance the state of art, be applicable in real case scenarios and attract international grants
Numero posti	1
Settore Concorsuale	01/B1 - INFORMATICA
S.S.D	INF/01 - INFORMATICA
Destinatari del bando (of target group)	More Experienced researcher or >10 yrs (Senior)
Data del bando	05/04/2019

 

FP7 / PEOPLE / Marie Curie Actions

Research Framework Programme / Marie Curie Actions	No

 

Dettagli dell'impiego

Tipo di contratto	Permanent
Tempo	Other
Organizzazione/Ente	Università degli Studi di Camerino - Scuola di Scienze e Tecnologie
Paese (dove si svolgerà l'attività)	ITALY
Città	Camerino

 

Contatto presso l'Organizzazione/Ente

Organizzazione/Ente	Università degli Studi di Camerino
Tipo	Academic
Facoltà/Dipartimento/Laboratorio di ricerca	Scuola di Scienze e Tecnologie - sezione fi Informatica
Paese	ITALY
Stato/Provincia	Macerata
Città	Camerino
Codice postale	62032
E-mail	anna.silano@unicam.it
Sito web	https://www.unicam.it/bandi/attivi/all/Procedure%20di%20valutazione%20comparativa

 

Dettagli per la candidatura

Data di scadenza del bando	26/05/2019 - alle ore 00:00
Come candidarsi	Other

 

Titoli di studio richiesti

Laurea	PhD or equivalent
Ambito della laurea	Computer science

 

Lingue richieste

Lingua	ENGLISH
Livello di conoscenza della lingua	Excellent