【简介】博士后招聘网整理分享“中国科学院数学机械化重点实验室2020年12月博士后招聘启事”，浏览查询更多博士后招聘计划请访问博士后招聘网。

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

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

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

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

详情参看http://www.amss.cas.cn/rczp1/kyrczpxq/202010/t20201024_5721834.html

更多最新博士后招收信息请关注博士后招聘网微信公众号（微信号：boshihoujob）

原文出处：

http://www.amss.cas.cn/rczp1/kyrczpxq/202011/t20201130_5804147.html

请您在邮件申请时在标题注明信息来自：博士后招聘网-boshihoujob.com，电话咨询时说明从博士后招聘网(www.boshihoujob.com)看到的博士后招聘信息。

声明：凡本网注明“来源：XXX”的文/图等稿件，本网转载出于传递更多信息及方便产业探讨之目的，并不意味着本站赞同其观点或证实其内容的真实性，文章内容仅供参考。如其他媒体、网站或个人从本网站转载使用，须保留本网站注明的“来源”，并自负版权等法律责任。作者如果不希望被转载或者联系转载等事宜，请与我们联系。邮箱：boshihoujob@163.com。