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

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

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

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