I am looking for one or two Ph.D. students to join the Computer Science and Engineering Department at the University of South Carolina.

Our department has expertise in quantum programming languages and quantum computing, with a strong focus on leveraging methods from type systems, programming language theory, category theory, and theorem proving.

Interested candidates are encouraged to contact me directly via email. The application deadline is February 1, 2025.

If you are interested in pursing a Ph.D. in quantum programming languages and quantum computing, please reach out to me with any questions or to express your interest. I look forward to hearing from you.