Descrizione posizione

Titolo del progetto di ricerca in italiano	Procedura selettiva per n. 1 posto di professore associato per il S.C. 09/H1 “Sistemi di elaborazione delle informazioni” – S.S.D. ING-INF/05 Sistemi di elaborazione delle informazioni mediante chiamata ai sensi dell’art. 18, co. 1, della L. 240/2010
Titolo del progetto di ricerca in inglese	Selective procedure for n. 1 place of associate professor for S.C. 09 / H1
Descrizione sintetica in italiano	Tematiche di ricerca proprie del S.S.D. ING-INF/05 con riferimento ad aspetti teorici, sperimentali, numerici ed applicativi relativi ai sistemi di elaborazione delle informazioni ed in particolare ai modelli formali per la verifica a runtime con l’ausilio di tecnologie semantiche e tecniche di rappresentazione della conoscenza. Nello specifico, gli studi fondanti riguarderanno la modellazione di sistemi software dinamici e la loro verifica formale in termini di correttezza di esecuzione ed in termini di sicurezza software.
Descrizione sintetica in inglese	Research themes of S.S.D. ING-INF / 05 with reference to theoretical, experimental, numerical and applicational aspects of information processing systems and in particular formal forms for runtime verification with the aid of semantic technologies and knowledge representation techniques. Specifically, the underlying studies will concern the modeling of dynamic software systems and their formal verification in terms of performance correctness and in terms of software security.
Numero posti	1
Settore Concorsuale	09/H1 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
S.S.D	ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Destinatari del bando (of target group)	More Experienced researcher or >10 yrs (Senior)
Data del bando	16/11/2017

 

FP7 / PEOPLE / Marie Curie Actions

Research Framework Programme / Marie Curie Actions	No

 

Dettagli dell'impiego

Tipo di contratto	Permanent
Tempo	Full-time
Ore settimanali	32
Organizzazione/Ente	UNIVERSITA' DI FOGGIA
Paese (dove si svolgerà l'attività)	ITALY
Stato/Provincia	FOGGIA
Città	FOGGIA

 

Contatto presso l'Organizzazione/Ente

Organizzazione/Ente	UNIVERSITA' DI FOGGIA
Tipo	Academic
Paese	ITALY
Città	FOGGIA
E-mail	reclutamentodocente@unifg.it
Sito web	http://www.unifg.it

 

Dettagli per la candidatura

Data prevedibile per l'assunzione	15/01/2018
Data di scadenza del bando	18/12/2017
Come candidarsi	Other

 

Titoli di studio richiesti