New Research position in the field of model-based system-software engineering and formal methods for space systems

FBK is opening a new research position in the field of model-based system-software engineering and formal methods for space systems, to work in one or more of the following topics:

• Development of formal verification techniques and their integration in model-based design environments
• Formal methods to support the design, mission preparation and operations of space systems
• Modeling and analysis of systems with continuous and hybrid dynamics
• Contract-based design and safety assessment
• Compositional reasoning
• Model-based safety analysis
• System level diagnosis and diagnosability
• Dependability and resilience with respect to run-time faults
• Fault detection and isolation
• Fault mitigation and fault propagation analysis
• Modeling and analysis of complex fault patterns
• Digital twins
• Runtime verification

The activities will include:

• System-software engineering tools such as nuXmv, OCRA, xSAP, NuRV, COMPASS, COMPASTA 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.

Application Page