9

中国科学院软件研究所

11

博士后（特别研究助理）

9

1、星座智能组网与在轨任务规划技术，降低对地面系统的依赖，缩短应急响应时间； 2、面向雷达、光学、无线电、气象等多种载荷的在轨智能处理和智能融合技术，提高感知时效性，实现目标提取、目标识别、时变检测等多领域应用； 3、天/空基智能感知与海洋物联网信息融合技术； 4、天基智能计算与智能操作系统技术。 5、形式化方法及其与人工智能等学科交叉的科研工作，主要分为以下两个方面：(1) 形式化方法理论、方法、技术与工具；（2）面向特定领域的形式化方法与应用 6、软件工程研究，特别是与人工智能技术的交叉研究。

博士

应用数学、计算机、自动化等专业毕业

1、获得博士学位，且获学位时间不超过3年，年龄在35岁以下； 2、品学兼优、身心健康； 3、具有良好的智能信息处理研究背景、较强的创新活力和学术潜力； 4、能够全职进站从事博士后研究。