[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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.
