Our group has to offer two PhD positions in Interdisciplinary Doctoral Program in Quantum Systems Integration at RWTH Aachen University. The first is about formal methods for supporting the development of zero-defect quantum programs, while the second aims to provide a systematic framework for compiling quantum software to computing architectures featuring qubit shuttling. For details, please refer to the respective job posting.