I am looking for undergraduate and postgraduate research project students (e.g. 6 unit ASC projects, 12 unit research projects, or 24 unit honours projects) to work on many aspects of Quantum Computing verification, symbolic execution, validation, testing and other related projects within a larger ongoing collaboration I have with the Iowa State University. Please email me if you are interested. Experience with Python programming, the Rocq theorem prover, IBM Qiskit libraries, or similar (e.g., Lean, Google Cirq, etc.) is relevant but can be learned as part of the project work “on the job”.