The College of Computing & Data Science (CCDS) invites applications for the position of Research Associate.
Key Responsibilities:
- To conduct research into the WebAssembly programming language.
- To produce publications in top conferences and journals.
- To offer 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 Masters in Computer Science or relevant fields.
- Background in formal verification and programming language theory.
- 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.
