PhD Position: Programming, Modelling and Verification of Concurrent Software

The Software Technologies Research Group at the University of Bamberg is offering one full-time PhD position (E13 TV-L, German public sector pay scale) available in the context of a new research project that will develop novel formalisms and techniques for software specification, verification and analysis for concurrent systems.

We target two not necessarily disjoint types of condidates: first, practitioners with a good knowledge of and experience with modern asynchronous and concurrent programming languages and APIs; second, theoreticians with basic knowledge in formal methods and theoretical computer science (e.g., formal semantics, automata, graph transformation systems, model checking, logics, and/or compiler construction).

For more information, see job offer at http://www.uni-bamberg.de/en/swt/news/ or contact info at swt-bamberg.de.