PhD Position in Computer Science (Bamberg, Germany)

The Software Technologies research group at the Otto-Friedrich University in Bamberg, Germany is offering a three-year PhD position starting as soon as possible. The group's research comprises the foundations and practice of software specification, verification and analysis. Foci of application are concurrent, reactive and embedded software. Recently the group has expanded its interest to machine learning and its application to program analysis and verification. Possible areas of research for a PhD candidate include, but are not limited to, interface theories, automated verification and synthesis, as well as heap analysis.

For detailed information please refer to the original job advertisement that can be found at http://www.uni-bamberg.de/swt/news/phd-position-in-computer-science/. For questions contact info at swt-bamberg.de.