Looking for a PhD position?

Funded position available. I plan to recruit new PhD students in the area of static analysis and verification of robotic applications to start in 2022/23. If you would like to join a world-class research group, read on. Funding is available on a competitive basis.