Descrizione posizione

Titolo del progetto di ricerca in italiano	Descrizione formale e analisi automatica di sistemi complessi e domini applicativi
Titolo del progetto di ricerca in inglese	Formal description and automated analysis of complex systems and application domains.
Descrizione sintetica in italiano	L’attività di ricerca dovrà focalizzarsi su estensioni, rielaborazioni ed integrazioni di strumenti di descrizione formale, quali ad esempio sistemi di transizione, reti di Petri, algebre di processi, linguaggi architetturali, logiche modali e temporali ed ontologie, per la modellazione del comportamento e della struttura di sistemi complessi di natura artificiale o biologica oppure per la rappresentazione della conoscenza in domini di interesse. Le descrizioni formali saranno utilizzate nella verifica o predizione automatica di proprietà strutturali, funzionali e prestazionali dei sistemi considerati, ad esempio attraverso tecniche quali model checking ed equivalence checking eventualmente in congiunzione con metodi tipici dell’analisi matematica, della topologia e dei processi stocastici, oppure nella sintesi di algoritmi o strategie decisionali da impiegare nei domini prescelti.
Descrizione sintetica in inglese	The research activity shall focus on extensions, reworkings, and integrations of formal description tools, such as for example transition systems, Petri nets, process algebras, architectural languages, modal and temporal logics, and ontologies, for modeling the behavior and the structure of complex systems of artificial or biological nature or for representing knowledge in domains of interest. The formal descriptions will be used for automatically verifying or predicting structural, functional, and performance properties of the considered systems, for instance through techniques such as model checking and equivalence checking possibly together with methods typical of mathematical analysis, topology, and stochastic processes, or for synthesizing algorithms or decision strategies to be employed in the chosen domains.
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	17/07/2018

 

FP7 / PEOPLE / Marie Curie Actions

Research Framework Programme / Marie Curie Actions	No

 

Dettagli dell'impiego

Tipo di contratto	Temporary
Tempo	Other
Organizzazione/Ente	Università degli Studi di Urbino Carlo Bo
Paese (dove si svolgerà l'attività)	ITALY
Città	Urbino

 

Contatto presso l'Organizzazione/Ente

Organizzazione/Ente	Università degli Studi di Urbino Carlo Bo
Tipo	Academic
Paese	ITALY
Città	Urbino
E-mail	amministrazione.reclutamento.pdoc@uniurb.it
Sito web	http://www.uniurb.it/rtd

 

Dettagli per la candidatura

Data di scadenza del bando	06/09/2018
Come candidarsi	Other

 

Titoli di studio richiesti