[SATToSE] PhD positions in UMONS (Belgium) on Software Development Automation Ecosystems