流動站Mobile Station
            （一級學科）
            ( Academic Discipline）

形式化工程數學 Formalized Engineering Mathematics

招聘人數
            Number of recruits

1

崗位職責
            Responsibilities

形式化工程數學研究 Research on Formalized Engineering   Mathematics

聘用條件
            Required qualification

1.年齡不超過45周歲；
            2.英語水平流利；
            3.在下述一個或多個領域中從事過博士研究：形式化方法專業，程序設計語言專業，自動控制專業，飛行控制專業，機器人專業。
            1.No more than 35 years old.
            2.A fluent level of English is mandatory.
            3.PhD in Formal Methods; or Automation; or Flight Control; or Robotics

薪酬
             Salary

1.全職博士后至少18萬元/年；外籍博士后：3-5萬美元；
            2.學校提供博士后公寓；
            3.優秀者可競聘正式編制教職。
            1.Full-time post doctoral: 180,000 RMB or more;
            Foreign postdoctor: US $30,000-50,000.
            2.The post-doctoral apartments are provided；
            3.Excellent candidates may compete for full clerical positions.