PhD position (Munich, Germany)

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/