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:
Competitive applicants should demonstrate:
For full consideration, please submit the following materials to Associate Professor Ilya Sergey via email at firstname.lastname@example.org
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 email@example.com.
Only shortlisted candidates will be notified.