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.

Qualifications

•    A PhD degree in Computer Science or related field
•    Strong background in formal methods
•    Familiarity with interactive theorem proving in Lean, Coq, Isabelle/HOL or Agda
•    Good understanding of security protocols
•    An established record of publications at top-tier conferences in formal methods or security (at least two)
•    Strong systems development skills

More Information

Location: Kent Ridge Campus

Organization: School of Computing

Department : Department of Computer Science

Employee Referral Eligible: No

Job requisition ID : 29186