Postdoc Positions Available

Our group has multiple postdoc positions available. The research projects are related to:

  • Source-code level program verification (against safety properties or security-related properties)
  • Run-time verification/enforcement of Java/C programs

The postdocs will work with existing researchers in the group as well as interact with researchers in the same research center. Once hired, the candidate will have the opportunity to travel overseas to collaborate with partners of the projects.

The working language is English. The general requirements on the candidate are:

  • A PhD in Computer Science or related areas.
  • Strong background in logic and reasoning.
  • An established research record.
  • Proficiency in Java or C++ programming

The term is one to three years starting as early as June 2017. The salary range is SGD 65K – 80K per annual. Singapore’s tax is around 3%-5% of the annual salary.

Interested candidates are encouraged to contact Jun Sun ( for more information.

SAV Group Website Launched

sunjunWelcome to the newly launched website of the System Analysis and Verification (SAV) group, led by Prof. Sun Jun at the Singapore University of Technology and Design.

Our group develops systematic tools, theories, and methodologies for ensuring the correctness, reliability, and efficiency of software and systems, focusing on automated techniques such as model checking, machine learning, and program analysis. We target several different challenging kinds of software and systems, ranging from (concurrent) object-oriented programs to real cyber-physical systems such as SWaT.

We intend for this website to provide an overview of the SAV group’s members, research, and publications. We will also be posting regularly about our activities and new papers: please consider subscribing to our news feed, or following our Twitter account.