Theoretical Quantum System Design