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.
Fall 2024 intake: 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. The hard deadline for the Fall 2024 intake is 1 Jun 2024 for non-local applicants.
Spring/Fall 2025 intakes: The application deadlines will be announced later this year. Strong applicants for the Fall 2025 intake are encouraged to prepare for early admission in the summer to receive full consideration for the prestigious Hong Kong PhD Fellowship (HKPF).
HKUST was ranked #2 in the Young University Rankings 2023 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 January 2023.