2024 CCF中国软件大会（2024 CCF ChinaSoft）将于2024年11月15日至17日在陕西省西安高新国际会议中心召开。大会由中国计算机学会（CCF）主办，CCF软件工程专委会、系统软件专委会、形式化方法专委会、西安电子科技大学承办，西安电子科技大学计算机科学与技术学院（国家示范性软件学院）具体落实，西安市智能软件工程重点实验室负责实施，得到西安高新区管委会的大力支持。同时，大会由西安交通大学、西北工业大学、西北农林科技大学、陕西师范大学、长安大学、西北大学、西安理工大学、西安建筑科技大学、西安邮电大学、中国航空工业集团公司西安航空计算技术研究所、陕西省计算机学会协办，由华为技术有限公司、汇丰科技中国、蚂蚁集团、百度集团、知存科技有限公司、北京轩宇信息技术有限公司、荣耀集团、望安科技有限公司等作为赞助商。本届大会的主题为“智能软件创新赋能新质生产力发展”。
「黄金合作单位」
成为卓越品质的赋能者
打造国际一流的高可信软件研制过程解决方案
关于我们
北京轩宇信息技术有限公司是中国航天科技集团有限公司第五研究院五〇二所全资子公司。公司以中国航天科技集团空间飞行器软件检测站为发展基础，目前是一家集软件评测、高可信软件工具、软件评价及数字质量等为一体的高新技术企业，是装备发展部批准的三家GJB 5000B军用软件能力评价机构之一，2022年入选国家级专精特新重点“小巨人”企业，是国内唯一拥有软件测试、软件工具和软件评价业务的高可信软件产业公司。先后出色完成了我国绝大部分空间飞行器和部分国家重要武器型号的关键软件及FPGA评测任务，为国家重要装备的软件可信做出了重要贡献。公司始终面向国家重大需求开展研发，承担10余项国家级重大项目，累计研发经费超1.5亿，历时20余年研制了国内最完整的高可信嵌入式软件研制全过程工具解决方案，在军民200余用户广泛应用，保障了我国高可信软件工具的供应链安全。获北京市科技进步一等奖、中国质量技术一等奖、国际发明展金奖等。
寻找最闪耀的你—博士、博士后引进
以杨孟飞院士为学术带头人，依托高可信嵌入式软件联合实验室、数字质量实验室（拟建）、北京市企业技术中心、中国空间技术研究院软件产保中心、博士后科研工作站等研发创新平台，紧密围绕国家航天等重大装备对软件可信的需要，坚持自主研发强基，并通过自主软件工具固化研究成果，面向国内外引进相关研发人员。
研究方向：
1
高可信嵌入式软件分析验证与测试技术
2
安全攸关系统的可信人工智能
3
A驱动的软件工程技术
4
FPGA验证与EDA工具
5
质量软件相关技术
福利待遇：
对于科技成果转化可适用“一人一策”激励措施
公司地址：北京市海淀区中关村南三街16号
联系人：朱女士电话:010-68378639
简历投递邮箱：zhujia@sunwiseinfo.com
简历命名方式：姓名-学校-学历-应聘岗位
