Forschung im Bereich Model-Checking und Systems Engineering (w/m/d)