Research Associate (Computer Science)

Nanyang Technological University Singapore; Singapore; On-site; SGD 67,000 - 100,000; Full time

Job summary

NTU Singapore's College of Computing and Data Science invites applications for a research position focusing on WebAssembly and related programming language theory. The role involves rigorous research, collaboration with industry and academia, and contributing to high-quality publications.

With a Masters in CS and a strong background in verification, you will work under supervision on cutting-edge projects, mentoring students and producing impactful results in top conferences and journals.

Qualifications

• Masters in Computer Science or related field.
• Background in formal verification and programming language theory.
• Experience in interactive theorem proving and/or Web programming is valuable.
• Ability to manage multiple tasks across research projects.
• Strong communication and teamwork abilities.

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.

Skills

Formal verification

Programming language theory

Interactive theorem proving

Web programming

Communication skills

Education

Masters in Computer Science or relevant fields

Job description

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.

Hiring Institution: NTU