The FBK Center for Digital Industry focuses its research on digital technologies for the various domains in industry (e.g., aerospace, railway, automotive, energy, agriculture, manufacturing, etc.) by creating applications for critical systems, adaptive and autonomous systems, advanced perception, diagnostics and prediction systems. It is involved in multiple European research projects and collaborates with numerous institutions and multinational companies on strategic projects with a high innovation content – including the European Space Agency (ESA) and the Italian Railways Network (RFI).
The position is opened by the Formal Methods for System and Software Research Unit (FM Research Unit) of the Digital Industry Center of FBK. The Unit carries out basic and applied research, tool development and technology transfer in the field of formal methods and model-based design for complex embedded systems.
FBK actively seeks diversity and inclusion in the workplace and is also commit...