Duties and Responsibilities:
We invite candidates for a postdoc position, which is available in Prof. Ilya Sergey’s group at Yale-NUS College and School of Computing of National University of Singapore. The position is for two years, funded by Singapore MOE Tier 1 grant “Scalable Deductive Synthesis of Thread-Safe Concurrency”.
The successful candidate is expected to work with Prof. Ilya Sergey and external collaborators (specifically, Prof. Nadia Polikarpova from UC San Diego), as well as to help advising students and interns on the project topic but can also allocate some part of their time for the projects of their interest. The NUS School of Computing is one of the world-leading departments in the areas of programming languages, software engineering, distributed systems, security and privacy. It provides a diverse and welcoming environment, and the researchers from different groups at SoC frequently collaborate on joint projects of mutual interest.
A prospective candidate should have a PhD in Computer Science or a related field and a strong, internationally competitive research track record. Particularly relevant is research expertise in:
– formal verification using program logics;
– concurrent programming and concurrent data structures;
– SMT and decision procedures.
For full consideration, please submit the following materials to Associate Professor Ilya Sergey via email at email@example.com