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

The Research Assistant will be responsible for working closely with the Principal Investigator and lab members on one or more research projects related to formal verification and interactive theorem proving. He/she should possess experience or interest in at least one of the following research areas:

•    Programming Languages 
•    Interactive Theorem Proving
•    Logic and Verification

Only shortlisted candidates will be notified. 

Qualifications

•    A Bachelor’s degree with Honours in a relevant area
•    Familiarity with Lean proof assistant
•    Experience in research
•    At least one paper published at a top conference on formal methods, programming languages, or computer security

More Information

Location: Kent Ridge Campus

Organization: School of Computing

Department : Department of Computer Science

Employee Referral Eligible: No

Job requisition ID : 29722