[PlanetKR] Post-doc position

[Fangzhen Lin]

We have a post-doctoral research fellow position available at Software 
Institute of Chinese Academy of Sciences in Beijing. It can start 
anytime for an initial appointment of 2 years. The fellow is expected to 
work on formal program analysis using first-order logic under the 
supervision of Dr. Yidong Shen and Dr. Fangzhen Lin of Hong Kong 
University of Science and Technology. For further details, please 
contact Yidong Shen at ydshen at ios.ac.cn and/or Fangzhen Lin at 
flin at cs.ust.hk