Chair of Software Modeling and Verification
  • Home
  • News
  • People
    • Thesis Projects
    • Lectures
      • Concurrency Theory
      • Model Checking
      • Probabilistic Programming
    • Publications
    • Projects
    • MOVES seminar
    • Tools
      • PRINSYS - PRobabilistic INvariant SYnthesiS
      • Prophesy
      • Smyle
  • Contact
  • Theory of Hybrid Systems
  • LuFG i2
  1. Home
  2. News
  3. Vacancies in Quantum Computing

Vacancies in Quantum Computing

August 31, 2023

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.

Paper in NeurIPS
Paper in JAIR
© 2026 Chair of Software Modeling and Verification. All Rights Reserved.
  • Privacy Policy
  • Faculty of Computer Science
  • RWTH Aachen