自动推理与认知重庆市重点实验室招聘信息

 中国科学院重庆绿色智能技术研究院自动推理与认知重庆市重点实验室，由中国科学院和重庆市政府联合资助，主要围绕自动推理与认知领域中的计算理论问题展开应用基础性研究。实验室结合重庆市当地经济建设所急需，主要以涉及汽车、船舶、轻轨自控系统的多领域统一建模、可信计算、软件形式化验证以及复杂微分代数系统中的理论模拟与数值试验等为研究方向，并已形成了鲜明的研究特色。

 

 自动推理与认知重点实验室，其前身是中国科学院成都计算机应用研究所自动推理实验室。她曾为自动推理这一学科的发展做出了巨大的贡献，曾获得国家自然科学二等奖一项，国家科技进步二等奖一项、全国“五一”劳动奖章二项、中国科学院自然科学一等奖二项和其他省部级科技奖多项。曾主持国家攀登项目课题二项、国家973课题二项、国家863项目、国家自然科学基金重点项目和面上项目多项，中国科学院创新项目两期以及其他省部级科技项目多项，并为国家培养杰青2名。

 

自动推理与认知重点实验室目标为建设世界一流的自动推理和可信计算研究中心和人才培养基地。实验室学术委员会主任为周巢程院士，实验室主任为张景中院士。实验室一贯坚持“开放、流动、联合、竞争”的方针，本着“求是、团结、创新”的团队精神，在科学研究、人才培养、开放和管理等方面取得了显著的成绩。

 

近5年里，实验室共承担 “973”项目二级课题2项，国家自然科学基金重大研究计划1项，国家自然科学基金5项，中国科学院三期知识创新工程1项，中国科学院西部之光2项，省部级重大重点项目4项，累计科研经费近1000万元。实验室占地1800平米，并拥有重庆地区计算能力最强的曙光超级计算机，能够提供计算化学、计算生物、计算流体力学、复杂机械设计、环境模拟等方面的服务，其理论峰值速率到2013年预计将达100万亿次/秒。为青年科研人员提供充足稳定的资金支持和良好的实验条件。

 

自动推理与认知重点实验室欢迎具有计算数学、计算机科学和电子工程等相关专业背景的青年人才到实验室工作。

 

招聘岗位：

1、科研岗位3-4人,要求

 ①学历：博士及以上；

 ②专业：应用数学、计算机科学、力学

 

2、应用开发岗位4-5人,要求

 ①学历：硕士及以上；

 ②专业：计算数学、生物数学、计算机科学、电子工程、自动控制

 

有意应聘者请登陆ww***.cn[点击查看]下载并填写《科研类应聘申请表》，并将填写的应聘申请表及学历证明材料电子版发送到wuwenyuan@cigit.ac.cn.