职位描述：

1、操作系统的论证工作
2、操作系统的软件架构设计作
3、产品需求分析及设计

岗位要求：
熟悉操作系统原理，熟悉面向嵌入式的宏内核、微内核操作系统，有相关架构设计经验，至少熟悉一个硬件架构：ARM、X86、PPC具有安全关键软件的架构、模块设计能力以及经验，掌握安全关键软件的设计方法及工具。GNU编译工具链有比较深刻的理解；熟练掌握C编程语言，具备较强的编码能力。
具备较强英语读写能力
了解形式化设计及验证方法，有模型驱动开发经验优先。
具有ARINC653系统开发或者应用经验者优先。
具有航空电子软件开发经验者优先。
具有RTCA DO-178标准实践经验者优先。