Researcher on Formal Verification of Complex Safety Critical Systems
Dec 01, 2020
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)
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