登录 注册 联系我们
数学与系统科学研究院
数学机械化实验室博士后

注:一周内只能申请同一个单位2个岗位。
所在部门: 数学与系统科学研究院 工作经验: 不限
学历要求: 博士研究生 工作地点: 北京/东城区
招聘人数: 若干人 薪资水平: 按中科院薪资标准执行
发布时间: 2020-12-02 截止时间:
学科领域: 专业描述: 数学机械化
专业技术等级:不限 招聘类型: 全职

岗位描述

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

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

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

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

联系方式

 dzhou@mmrc.iss.ac.cn

单位地址

详细地址: 北京市海淀区中关村东路55号