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.
Deadline: 11 May 2023
