[Concurrency] PhD position at University of Paderborn
The research group “Modelling and Specification of Software Systems” at
the University of Paderborn (Germany) currently offers a PhD position (2
years) in a DFG-funded project on
3-Valued Abstraction Techniques
The project, funded by the German Research Council, aims at developing
abstraction techniques for model checking parallel programs with respect
to local properties […]