[TYPES/announce] Postdoc position at National University of Singapore on Program Synthesis

[Sergey, Ilya]

Hello all,

I invite candidates for a postdoc position, which is available in my 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".

As the project name implies, we will be working on synthesising correct-by-construction concurrent programs. I am looking for motivated candidates with 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

A tentative starting date is 1 October 2019, but the appointment can start earlier if the position is filled. The successful candidate is expected to work with me 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.

Official advert: https://www.yale-nus.edu.sg/careers/postdoctoral-fellow-2/

Do not hesitate to get in touch with me if you are interested!

Kind regards,
Ilya


________________________________

Important: This email is confidential and may be privileged. If you are not the intended recipient, please delete it and notify us immediately; you should not copy or use it for any purpose, nor disclose its contents to any other person. Thank you.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190701/ad6fbdd5/attachment.html>