Young and research-intensive, Nanyang Technological University, Singapore (NTU Singapore) is ranked among the world’s top universities. NTU’s College of Computing and Data Science (CCDS) is a leading college that is known for its excellent curriculum, outstanding and impactful research, and world-renowned faculty.

A hot bed of cutting-edge technology and groundbreaking research, the College aims to groom the next generation of leaders, thinkers, and innovators to thrive in the digital age. Located in the heart of Asia, NTU’s College of Computing and Data Science is an ‘exciting place to learn and grow. We welcome you to join our community of faculty, students and alumni who are shaping the future of AI, Data Science and Computing.

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.