Constraining postinflationary axions with pulsar timing arrays | Synapse