机器人公司-软件与嵌入式算法（博士）(J28638)

1. 负责研究面向机器人复杂、高动态任务的实时可靠软件架构范式与设计方法学。 2. 负责研究机器人底层嵌入式系统的确定性调度、资源管理与强实时保障理论与技术。 3. 负责研究基于形式化方法的机器人核心软件/嵌入式系统的高安全设计与验证技术。 4. 负责研究软硬件协同设计方法，包括专用计算架构、芯片-操作系统-中间件协同优化，以突破性能与能效瓶颈。 5. 负责构建高可靠软件与嵌入式系统研究原型，在实际机器人平台上验证关键技术，并推动其向产品级解决方案演进。 【任职要求】 1.招聘对象：2027届博士毕业生。 2.专业要求：计算机科学与技术、软件工程、电子工程、嵌入式系统、控制理论与控制工程等相关专业。 3.研究方向：高可靠/高安全嵌入式系统、实时计算与操作系统、系统软件形式化验证、软硬件协同设计、嵌入式AI与智能计算架等领域。 4.语言要求：通过CET六级，具有良好的英语听说读写能力，能阅读汽车相关资料。 5.综合素质：有较强的语言表达及团队协作能力，思想素质过硬，责任感强；具有较强的团队精神和奉献精神。