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.
Potential research directions include:
The applicants are expected to have solid skills in programming and/or math. Prior research experience in PL/SE is beneficial but not required.
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.
HKUST was ranked #2 in the Young University Rankings 2023 and #29 in the World University Rankings 2023 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.