数学机械化重点实验室博士后招聘启事
 数学机械化重点实验室由我国最高科技奖得主吴文俊院士创立,钱柜娱乐亚洲城88:致力于研究数学机械化的理论,算法和应用,培养优秀青年人才,继续引领数学机械化的发展,夯实人工智能的数学基础.实验室主要研究方向包括:数学机械化理论与算法,信息安全的数学基础,人工智能的数学理论,数学机械化方法的高技术应用.
 招收博士后的研究方向:形式化方法与安全性验证,机器学习的数学理论,抗量子攻击密码分析设计,量子程序验证,数据隐私与全同态加密,数控加工与插补算法,编码和信息论,密码和信息安全.
 待遇:按中科院数学院规定执行,25-40万/年包括保险,根据评审结果部分人员有住房.