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 ) and submit the full application to HKUST at the earliest convenience. 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). The hard deadline for the Fall 2025 intake is 1 Jun 2025 for non-local applicants.
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.