[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
A post-doctoral position funded by the IT MATTERS project
(http://itmatters.imtlucca.it/) on methods and tools for trustworthy
smart systems is available at the Gran Sasso Science Institute
(https://cs.gssi.it).
Duration: 2 years
Annual gross salary: € 36.000,00
Details at:
https://www.gssi.it/communication/announcements/item/12047-postdoctoral-research-fellowship-2021
Short description of the position
The successful candidate will develop runtime-monitoring and software
model-checking techniques for “smart systems”, that is, autonomous
systems taking context-dependent decisions. The research activities will
involve developing frameworks that can deal with the distributed nature
of smart systems and will build on existing work on specification-based
monitoring and software model-checking of cyber-physical systems. The
postdoctoral researcher will also devise techniques to use information
derived from the runtime analysis to guide the software-model-checking
effort and to refine the models of the runtime environment used in model
checking.
Contacts
Luca Aceto (luca.ac...@gssi.it)
Omar Inverso (omar.inve...@gssi.it)
Emilio Tuosto (emilio.tuo...@gssi.it)
--
***************************************************************
Emilio Tuosto
Computer Science
Gran Sasso Science Institute
Viale F. Crispi, 7
67100 L'Aquila (Italy)
Office: Palazzo Mariani P1-N
Phone: +39 0862 428 0312
L'Aquila
Italy
homepage -> https://cs.gssi.it/emilio.tuosto/
***************************************************************