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