Interested applicants are invited to apply directly at the NUS Career Portal.
Your application will be processed only if you apply via NUS Career Portal.
We regret that only shortlisted candidates will be notified.
Job Description
The National University of Singapore invites applications for the position of Junior Research Assistant in the Department of Information Systems and Analytics, School of Computing (SoC). SoC is strongly committed to research excellence in all its dimensions: The Junior Research Assistant will be responsible for working closely with the Principal Investigators and lab members of VERSE lab on the project dedicated to the development of techniques for automated and interactive verification of modern distributed systems. The applicant should possess documented experience in at least one two the following research areas:
• Interactive or Automated Theorem Proving
• Design and Implementation of Distributed Systems
• Design and Implementation of Programming Languages
Qualifications
- Completed all requirements for a Bachelor/Master’s degree in Computer Science (or related area)
- Experience in doing research
