I would like to point you to the announcement of a PhD position, and I would appreciate if you could advertise or distribute it. The announcement can be found at the following address:
https://www.linkedin.com/pulse/phd-position-formal-methods-control-munich-germany-gunther-reissig-1f/