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 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.
We are looking for Research Assistant in the area of Automatic Programming. This position will be part of a Singapore Ministry of Education (MoE) Tier 3, multi-year research program named "Automated Program Repair" which has been funded 2022-2027. This is a large research program involving several research projects in analysis, verification, test generation and applications related to program repair. To see work done on program repair at NUS, kindly see the webpage https://nus-apr.github.io/. In the new program, we will take this work forward further. The vision of our research program is to retain the workflows of software construction as they exist today in the form of Continuous Integration (CI) systems, and yet support automated software evolution with formal correctness guarantees, thereby engendering trust in automatically generated code. Our research program can help achieve such a vision via analysis, verification, and test generation. Applications of repair studied in the program will include security vulnerability repair, patch transplantation across versions of major software systems such as Linux, as well as the use of repair in intelligent tutoring system that we have developed at NUS, for teaching programming.
Qualifications
- Bachelor's Degree in Computer Science or a closely related field.
- Has prior experience and knowledge dealing with Linux and information security for program repair
- Good communication skills
