Email: ilya@nus.edu.sg
Webpage: https://ilyasergey.net/
Position description: Multiple PhD/Postdoc/Intern positions at National University of Singapore on program analysis, synthesis and verification. More information at https://verse-lab.github.io/