The research group Formal Methods currently has a vacancy for a PhD student or Postdoc. If you are interested in this position or have further questions, please contact Prof. Heike Wehrheim, heike.wehrheim@uol.de.