操作系统开发工程师（2026届-惠州）

岗位职责： 1. 嵌入式环境下不同虚拟化方案的对比研究; 结合公司产品特性探索并确定支持长期发展的虚拟化技术发展方向和技术路线; 技术原型搭建; 关键技术要点识别和解决思路探索 2. 面向嵌入式操作系统的质量和稳定性评估模型研究; 通过形式化分析验证其可靠性, 稳定性. 并以此为基础, 对公司产品中使用的操作系统考虑探测和改造方案, 以提升底层基础软件的可靠性 3. 面向嵌入式操作系统的性能评估模型和方法研究; 用于估算不同功能模块资源需求, 并探索实现相关监控测试方法, 在尽可能小的系统资源附带损耗代价条件下, 实现精准的资源使用情况监控; 后续希望以此为基础, 进一步探索实时的资源异常消耗评估和弹性控制策略; 以上方向的工作中, 均应包含产品/现有技术资产分析/ 方案设计与论证 / 技术原型实现 / 和现有产品结合的工程落地方法等工作环节" 任职要求： 学历要求：硕士及以上学历，计算机科学技术, 电子信息工程, 软件工程等相关专业； 在操作系统领域核心期刊发表论文；参与过国家级 / 省部级相关科研项目，或在专业领域竞赛中获得奖项者优先考虑 工作经验： 无特别要求. 参与过国家级 / 省部级相关科研项目. 或相关行业横向课题, 有工程落地经验者优先 技能要求： 熟悉操作系统原理：精通内核机制（进程、内存、中断管理）；熟悉 Linux、QNX、VxWorks 等系统架构，能调试内核代码；掌握 Linux 内核开发与优化，熟悉实时 OS 调度与确定性保障等; 有软件质量可靠性分析经验者优先, 如在该方向熟练应用Isabelle/HOL、Coq (ROCQ) 等工具