Please note that this newsitem has been archived, and may contain outdated information or links.
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.
Please note that this newsitem has been archived, and may contain outdated information or links.