Research Assistant

Description

The National University of Singapore invites applications for the position of Research Assistant in the Department of Computer Science, School of Computing (SoC). SoC is strongly committed to research excellence in all its dimensions: Searching for fundamental results and insights, developing novel computational solutions to a wide range of applications, building large-scale experimental systems and improving the well being of society. We seek to play an active role both internationally and locally in the core and emerging areas of Computer Science and Information Systems.

The Research Assistant will be responsible for working closely with the Principal Investigator and lab members one or more research projects. He/she will work on the modelling and analysis of network protocols and applications, as well as implementing tools.

Benefits

In this project, the Research Assistant will

• learn how to formally analyse a system and how to perform security analysis of system implementation,
• learn up-to-date network attacks and their influences on network and network based systems,
• gain experience on real-world network (SingTel) analysis, and
• gain experience in using model checker PAT.

Job Requirements

• A Bachelor’s degree with Honours in a relevant area;
• Background or strong interests in formal analysis, security and networks;
• Sophisticated programming skills.

Contact

Prof. DONG Jin Song at dcsdjs@nus.edu.sg