[TYPES/announce] Ph.D. position in PL and quantum computing

[Charles Yuan]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250825/24158a6c/attachment.htm>