Research Assistant, School of Computing

NATIONAL UNIVERSITY OF SINGAPORE; Pasir Panjang; On-site; MYR 100,000 - 150,000; Full time

Job summary

A leading university in Malaysia is seeking a Research Assistant to work on formal verification and interactive theorem proving projects. The ideal candidate should have a Bachelor's degree with Honours and familiarity with Lean proof assistant. This role involves collaboration with the Principal Investigator and lab members on cutting-edge research in Computer Science. Previous research experience and publication in top conferences are required.

Qualifications

• 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.

Responsibilities

• Work closely with the Principal Investigator and lab members on research projects related to formal verification and interactive theorem proving.

Skills

Programming Languages

Interactive Theorem Proving

Logic and Verification

Education

Bachelor’s degree with Honours in a relevant area

Tools

Lean proof assistant

Job description

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

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