To apply you must hold a degree in the areas of Computer Science, or a related discipline, and a PhD relevant to the research area. Candidates are expected to have high-quality publications in peer-reviewed conferences and journals.
The postdoc will be supervised by Dr. Sun Jun and will be working closely with his existing research fellows/assistants. Furthermore, the postdoc will be interacting with the PAT model checking group in Singapore University of Technology and Design, National University of Singapore and Nanyang Technological University (Singapore).
The post is available for up to 3 years. The salary starts from SGD 60K per year with attractive package.