New researcher position in the field of model-based design for autonomous systems (Deadline extended to May 11)

FBK is opening a new position for a researcher to work on the topic of model-based design for autonomous systems.

Research topics include:

• Model-based design, verification and validation, and testing of autonomous systems
• Model checking of autonomous control systems
• Model-based safety analysis of autonomous systems
• Compositional reasoning for verification and validation of autonomous systems
• Runtime verification and diagnosis for autonomous systems

The candidate is expected to contribute to these research lines and to the development of FBK tools such as nuXmv, OCRA, xSAP, mathsat, Kratos, COMPASS.
The candidate will participate in the activities of various projects such as, for example, the Automatic Train Operation (ATO) project funded by Rete Ferroviaria Italiana.