航天高可靠安全关键操作系统研发工程师（软件研发）

职位描述

1. 参与航天高可靠安全关键操作系统内核定制、裁剪、配置与优化；

2. 参与操作系统在SPARC、ARM、RISC-V等目标硬件平台上的移植、驱动开发与调试；

3. 参与航天级容错、冗余管理、健康监控等可靠性功能的设计、实现与测试；

4. 参与操作系统安全机制与时间/空间隔离分区特性的实现与验证；

5. 参与系统安全加固、漏洞修复与回归验证工作；

6. 编写技术文档、测试用例与项目报告，参与航天型号软件研制流程。

任职要求

1. 应届硕士及以上学历，计算机、软件工程、自动化、电子信息、信息安全、航空航天等相关专业；

2. 具备扎实的C语言基础，了解汇编、Python或Shell脚本；

3. 熟悉操作系统原理，对Linux内核有学习或实践经验；

4. 了解常见操作系统安全机制，如访问控制、权限管理、安全审计等；

5. 了解嵌入式Linux、驱动开发、RTOS、系统移植相关技术，有相关课程设计、竞赛或开源项目经验者优先；

6. 对航天高可靠、安全关键系统有浓厚兴趣，具备良好的学习能力、团队协作能力和沟通能力。

加分项

· 有Linux内核相关开源贡献、实验室项目或竞赛获奖经历；

· 熟悉ARM、RISC-V或SPARC开发板调试；

· 了解SELinux、可信计算、形式化验证、功能安全、ARINC 653等方向；

· 发表过操作系统、内核、安全、容错相关论文或专利；

· 有航天、航空、国防相关项目或实习经历。