New Researcher position in the field of formal verification of complex control systems

FBK opens a research position in the field of formal verification of complex control systems, to work in one or more of the following topics:

• development of formal verification techniques and their integration in model-based design environments
• model checking of control systems and their interaction with hybrid models of the physical plants
• contract-based compositional reasoning
• model-based safety analysis
• fault detection and diagnosis
• runtime verification

The activities will include:

• software development for tools such as nuXmv, OCRA, xSAP, NuRV, Kratos, COMPASS, and TASTE
• training support, and document generation for technology transfer

The candidate is expected to work in collaboration with other researchers, programmers, and students involved in the ES Unit. Moreover, the candidate is expected to interact with industrial partners and partners of research projects.