Post Doc in Safe and Dependable Autonomous Systems (Catholic University of Leuven Department of Computer Science )