Research Assistant


A successful applicant will be working with the PI (Prof. Ilya Sergey) on extending a tool for automated synthesis of heap-manipulating programs. The duties include:

  • Implementing key functionality of the synthesis tool in Scala
  • Design and implementation of the formal logic rules
  • Writing technical reports in English


Competitive applicants should demonstrate:

  • An applicant should hold an MSc degree in Computer Science or a related field, with an expertise in programming languages, functional programming and software verification.
  • Good knowledge of a functional programming language (Haskell, Scala, OCaml)
  • Solid understanding of functional programming paradigms
  • Solid understanding of logic programming

For full consideration, please submit the following materials to Associate Professor Ilya Sergey via email at

  • Cover Letter
  • CV
  • Names and contact information of 3 references
  • Academic Transcript

I understand that by sharing my personal data with Yale-NUS College, I authorise its use for the purposes of this application.

If you have any queries, please email

Only shortlisted candidates will be notified.