二、研究方向包括但不限于如下领域 1. 软件工程形式化方法 2019-12-27 西南大学软件研究与创新中心博士后招聘启事 一、招聘单位简介 西南大学是教育部直属、国家211工程、985工程优势学科创新平台、双一流学科建设高校。西南大学计算机与信息科学学... Read More.
以及中国科学院、发改委、工业和信息化部、公安部、国家密码管理局等部委的 2019-12-27 面向国家信息技术可信、可控的战略需求,开展可信计算与信息保障基础理论研究与关键技术攻关,为国家网络空间信息保障体系建设提供技术支撑。承担了国家973、863、国家自然科... Read More.
具有高度的责任心和优秀的职业道德 2019-12-27 中国科学院软件研究所国际合作主管招聘启事 中国科学院软件研究所成立于1985年3月1日,是一所致力于计算机科学理论和软件高新技术的研究与发展的综合性基地型研究所(详情请查... Read More.