聘任单位
Department

计算机科学与技术学院/人工智能学院
College of Computer Science and Technology/College of Artificial Intelligence

流动站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.

合作导师
Supervisor

陈钢
Gang Chen

联系人
Contact

陈钢
Gang Chen

联系电话
Telephone

13816716973，来电时请说明是在高校人才网看到的信息。