9999热视频三级毛片AV区|日韩欧美精品狼友观看视频|av在线成人免费AA片|日韩三级AV电影|久久亚洲私人国产精品vA|亚洲无码卡一卡二卡三|手机在线免费看黄色片|婷婷尹人在线婷婷五月手机网|99爱在线播放|欧美成人色情视频品

Two Postdoctoral /Research Fellow Positions in System Safety and Security

Professor Fu Song's research group is seeking postdoctoral fellows to work in the areas of system software analysis and verification techniques, with emphasis on applications in system safety and security.

We invite highly motivated Ph.D. graduates to work with us in these exciting areas. There are currently two positions available.

Research topics of particular interest are:

- Binary-code analysis

- Software security

- Programming languages and Type systems

- Model-checking multi-agent systems

More information about Dr. Songis available at http://sist.shanghaitech.edu.cn/faculty/songfu

Your Responsibilities:

- Conduct research in one or several areas of interest in the field of programming languages, software security, and model-checking

- Co-supervise M.S. and Ph.D. students

Your profile:

- Ph.D degree in Computer Science or a relevant field

- Fluent written and verbal communication skills in English, Chinese is optional

- Strong programming skills

- An established research record on relevant subjects

We offer:

- two years full-time employment contract, extensible up to 3 years

- competitive salary and benefits

Qualified applicants are invited to submit (all in English),

- Curriculum Vitae (including the list of publications and previous positions held)

- Research statement (describing research experience and research plan)

- Copies of two or three representative publications

- Two letters of reference

to sist@shanghaitech.edu.cn (cc songfu@shanghaitech.edu.cn).

Applications will be considered until the positions are filled. For further questions about the positions, get in touch.