The Post-Quantum Software Research Center (PQSRC) is hosted at Ruhr University Bochum within CASA—Cyber Security in the Age of Large-Scale Adversaries.

PQSRC's first project (2021–present) is Fast Verified Post-Quantum Software (FVPQS), a joint project between Ruhr University Bochum (PI: Daniel J. Bernstein) and Academia Sinica (PIs: Tung Chou, Bow-Yaw Wang, Bo-Yin Yang), funded by Intel as part of the Intel Crypto Frontiers Research Center.

The FVPQS project is at the intersection of cryptographic research, algorithmic research, and software-engineering research. Ruhr University Bochum and Academia Sinica are tackling the challenge of optimizing software for post-quantum cryptography without creating devastating security problems. The project focuses on various case studies with a wide range of applications to the NIST Post-Quantum Cryptography Standardization Project and post-NIST post-quantum cryptography. The project aims to publish examples of high-speed production-quality post-quantum software that is fully computer-verified to match cryptosystem specifications.