[Caml-list] Postdoc Position Available

[jun sun <sunjun@sutd.edu.sg>]

[-- Attachment #1: Type: text/plain, Size: 1092 bytes --]

A Postdoctoral Research Fellow position is available on program analysis
and model checking, funded by a research project led by Dr. Sun Jun from
Singapore University of Technology and Design. The goal of this project is
to develop novel automated verification techniques for programs.

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.

Informal inquiries are encouraged and should be directed to:

Dr Sun Jun (sunjun@sutd.edu.sg)
http://faculty.sutd.edu.sg/~sunjun/

[-- Attachment #2: Type: text/html, Size: 2876 bytes --]