北京招聘

岗位职责：

结合航天软件实际需求和软件验证研究前沿，开展新技术新方法的研究与应用

任职要求：

1、硕士及以上学历，计算机专业，学位论文方向为软件测试、程序分析与验证、形式化方法、安全测试，模型驱动开发方法等方向之一

2、具有独立开展研究和原型开发的能力，对理论方法的工具化有深入理解

3、在相关领域具有国际领先会议论文发表者优先

    北京轩宇信息技术有限公司成立于2013年7月1日，是中国航天科技集团第502所全资子公司。公司发扬航天“严、慎、细、实”的工作作风，为客户提供高品质产品和技术服务。
    公司拥有一支高素质的技术团队，在嵌入式软件测试、FPGA验证、软件工具研发及相关咨询服务领域具有多年的从业经验，承担了多项国家重点宇航型号任务，具有丰富的实践经验。
公司提供软件测试技术及咨询服务，包括静态测试技术、动态测试技术、测试培训、测试质量体系建设、咨询等；FPGA技术及咨询服务，包括FPGA开发及验证服务、FPGA管理咨询、基础平台搭建等。
    公司注重研发和创新，基于自身雄厚的技术力量和客户的紧迫需求，自研了多款实用软件工具，包括系统级虚拟平台、目标码白盒测试工具、静态代码检查工具、自动单元测试工具、配置管理工具等；同时公司将不断引进先进的工具软件，为客户提供全面的解决方案和技术支持。
公司来源于航天嵌入式领域，对行业的发展和客户的需求有着深刻的理解。按时、优质、高效，为客户提供满意的产品是公司的一贯追求。
    轩宇信息将以高品质的产品和技术服务推动客户的成功，成为您最可信赖的合作伙伴。