The College of Computing & Data Science (CCDS) invites applications for the position of Research Fellow. 

Key Responsibilities: 

• To conduct independent research into the WebAssembly programming language.

• To produce publications in top conferences and journals.

• To offer guidance and assistance to any students involved in the project.

• To collaborate with industrial and academic partners.

• To perform any other duties related to the research program.

Job Requirements: 

• A PhD in Computer Science or relevant fields.

• Strong background in formal verification and programming language theory.

• Strong publication record in top conferences/journals, such as POPL, PLDI, ICFP, and OOPSLA.

• Experience in interactive theorem proving and/or Web programming is valuable.

• Capable of handling multiple tasks across projects and research activities.

• Showing excellent communication skills, and willingness to learn.

• Able to work under limited supervision and excel as an effective team member.

We regret that only shortlisted candidates will be notified.