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.