[北京]中国科学院数学机械化重点实验室

数学机械化重点实验室由我国最高科技奖得主吴文俊院士创立，致力于研究数学机械化的理论、算法和应用，培养优秀青年人才，继续引领数学机械化的发展，夯实人工智能的数学基础。实验室主要研究方向包括：数学机械化理论与算法、信息安全的数学基础、人工智能的数学理论、数学机械化方法的高技术应用。

招收博士后的研究方向：形式化方法与安全性验证、机器学习的数学理论、抗量子攻击密码分析设计、量子程序验证、数据隐私与全同态加密、数控加工与插补算法、编码和信息论、密码和信息安全。

待遇：按中科院数学院规定执行，25-40万/年包括保险，根据评审结果部分人员有住房。

提供材料：请将简历（说明申请的方向）、申请表和三封专家推荐信发至dzhou@，邮件标题注明：应聘某某岗位 本人姓名 。

详情参看ww***.cn[点击查看]

ww***.cn[点击查看]

更多最新博士后招收资讯请关注高才博士后微信公众号（微信号：bshjob）。