方向1：软件定义的无人机协同系统设计与开发；

方向2：C++/Java并发程序的自动建模；或代码的自动生成；

方向3：分布式实时操作系统设计与开发（已招）。

要求：

良好的系统抽象能力、数学基础、操作系统与编译原理；

有兴趣致力于：嵌入式编程或并发编程、形式化方法或机器学习。