The publicly announced PhD position WP3.5 Formal Verification of Hybrid Systems has received 47 applicants. The selection committee has started it’s work and the goal is to start up the work with the selected candidate in Q3-2016.