Descrizione posizione

Titolo del progetto di ricerca in italiano	Metodi formali, linguaggi formali, modellazione ed analisi di sistemi software complessi
Titolo del progetto di ricerca in inglese	Formal methods, formal languages, modelling and analysis of complex software systems
Descrizione sintetica in italiano	Il progetto di ricerca ha lo scopo di definire e sviluppare metodi, linguaggi e strumenti formali per la specifica, la progettazione e l’analisi di sistemi software complessi in diversi ambiti applicativi, tra i quali quello industriale, delle scienze della vita e delle scienze sociali. Saranno inoltre considerate la capacità di attrazione di risorse economiche e finanziarie, la capacità di trasferimento di conoscenze, competenze e tecnologie, l’esperienza nel coordinamento di gruppi di ricerca, la partecipazione a progetti competitivi e la partecipazione in qualità di relatore a congressi nazionali e internazionali
Descrizione sintetica in inglese	The research project aims at the definition and the development of methods, languages and formal tools for the specification, design and analysis of complex software systems in various application domains, including industrial, life and social sciences. Furthermore, it will also be considered fundraising skills, the ability to transfer knowledge, competences and technologies, the experience in coordinating research groups, the participation in competitive projects and the participation as a speaker at national and international conferences
Numero posti	1
Campo principale della ricerca	Computer science
Sottocampo della ricerca	Informatics
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	03/06/2021

 

FP7 / PEOPLE / Marie Curie Actions

Research Framework Programme / Marie Curie Actions	No

 

Dettagli dell'impiego

Tipo di contratto	Permanent
Tempo	Full-time
Ore settimanali	full - time
Organizzazione/Ente	Università degli Studi di Camerino
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 Informatica
Paese	ITALY
Città	Camerino
Codice postale	62032
E-mail	anna.silano@unicam.it
Sito web	http://www.unicam.it

 

Dettagli per la candidatura

Data di scadenza del bando	12/08/2021 - alle ore 00:00
Come candidarsi	https://www.unicam.it/bandi/attivi/all/Procedure%20di%20valutazione%20comparativa

 

Titoli di studio richiesti

 

Lingue richieste

Lingua	ENGLISH
Livello di conoscenza della lingua	Excellent