We are hiring!

We are currently looking for PhD students in context of a research project for the DFG-project “KeY – Ein deduktives Software-Analyse-Werkzeug für die Forschungsgemeinschaft“ (engl. “KeY – A deductive software analysis tool for the research community”).

This includes the modernization and modularisation of the code base, the creation of an active research and user community around KeY to achieve sustainable usage and development of the KeY software platform.

More details are available here.