[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear colleagues,
The Computer Sciences Department at the University of Wisconsin–Madison invites
applications for a Ph.D. position at the intersection of programming languages
and quantum computing. Given the rapid experimental progress and growing public
interest in the practical realization of quantum computers, this is a unique
opportunity to join a research community working to bridge theory and practice.
My
group<https://urldefense.com/v3/__https://pages.cs.wisc.edu/*charlesyuan/__;fg!!IBzWLUs!W6GItHYP61IRrGxjjMEV8SVFm1am36UsyoXobWq_UAFNm-qEr-OKJ0X09iDy-El1DfEv8jewox6Y3D1xGqrLo6nr36XTRZIqKATVosY$
> and the broader quantum computing
group<https://urldefense.com/v3/__https://quantum.cs.wisc.edu/__;!!IBzWLUs!W6GItHYP61IRrGxjjMEV8SVFm1am36UsyoXobWq_UAFNm-qEr-OKJ0X09iDy-El1DfEv8jewox6Y3D1xGqrLo6nr36XTRZIqRpr_VT8$
> at UW–Madison share an interest in working with students to build the
emerging software stack for quantum computation. Successful Ph.D. applicants
should bring extensive experience in at least one of the following areas and be
ready to pick up the others:
* Programming languages (e.g. type theory and semantics), compiler design,
and formal methods
* Quantum algorithms, complexity theory, and information theory
* Quantum computer architecture, devices, and error correction
To learn more about the Ph.D. program and how to apply, please see the
department
website<https://urldefense.com/v3/__https://guide.wisc.edu/graduate/computer-sciences/computer-sciences-phd/*admissionstext__;Iw!!IBzWLUs!W6GItHYP61IRrGxjjMEV8SVFm1am36UsyoXobWq_UAFNm-qEr-OKJ0X09iDy-El1DfEv8jewox6Y3D1xGqrLo6nr36XTRZIqaaeO1BQ$
>. Students interested in this topic should apply under the Programming
Languages category. The application deadline is December 15, 2025.
Best regards,
Charles Yuan
Assistant Professor
Computer Sciences Department
University of Wisconsin–Madison
