Axion production and detection with superconducting rf cavities | Synapse