The open research position is in the field formal verification of complex control systems. The expected activities include the 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; software development for tools such as nuXmv, OCRA, xSAP, Kratos, COMPASS, and TASTE; training support, and document generation for technology transfer.
Application Page
-
PhD Grant on Model-based system-software engineering and formal methods for space systems
-
PhD positions in collaboration with the University of Trento on formal-methods-related topics
-
VAIPOSA Kick Off Meeting
-
New Software Developer Position in the Field of Formal Methods
-
Distinguished artifact award at TACAS conference