Post-doc position to work in the European ECSEL project VALU3S on

  • Model checking of hybrid systems
  • Model checking of control software
  • Model-based safety analysis of autonomous systems
  • Integration of model checking, testing, and runtime verification
  • Application of formal methods to industrial case studies (avionic or agriculture domains)
Deadline: 15 Jan 2021

Contact:

tonettas@fbk.eu