[D-CON] 12 Ph.D. Positions in Algorithms, Verification and Logic at RWTH Aachen