The HKUST Automated Reasoning and Transformation of Software research group, led by Assistant Professor Jiasi Shen in the Department of Computer Science and Engineering at the Hong Kong University of Science and Technology, is looking for PhD and MPhil students to conduct research in programming languages and software engineering. Students will be fully funded with competitive salaries.
The research group focuses on developing compiler-related techniques to enhance developer productivity and software quality. The applicants are expected to have strong programming and/or math skills. Preference will be given to those with experience building complex software and a solid foundation in algorithms.
Spring/Fall 2025 intakes: Prospective students are encouraged to email Dr. Shen ( s[full][at]cse.ust.hk ) at the earliest convenience. During the summer, please submit an early admission registration form to HKUST. After summer, please use the regular application website, which will be announced later this year. Applications are reviewed on a rolling basis until the positions are filled. Exceptional PhD applicants who have initiated contact during the summer or early fall will be considered for the prestigious Hong Kong PhD Fellowship (HKPF).
HKUST was ranked #3 in the Young University Rankings 2024 and #31 in the World University Rankings 2024 for Computer Science by Times Higher Education. The language of instruction is English.
Dr. Shen obtained a bachelor's degree from Peking University and master's and PhD degrees from MIT, and joined HKUST in 2023.