Job Description:
The National University of Singapore invites applications for the position of Research Fellow 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 in developing novel computational solutions to a wide range of applications, building largescale experimental systems, developing theories and policies for effective management of information systems in organizations, 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 Fellow will be responsible for working closely with the Principal Investigator on one or more research projects related to formal verification and program. In particular, the research fellow is going to investigate the design of novel verification methodologies that combine automated and interactive proofs for security protocols.
Only shortlisted applicants will be notified.
Location: Kent Ridge Campus
Organization: School of Computing
Department : Department of Computer Science
Employee Referral Eligible: No
Job requisition ID : 29186
Read Full Description