1、负责程序分析端到端的技术应用到代码质量治理，架构腐化治理，依赖分析/架构演进分析等方向，设计方案，主导解决方案落地;

2、解决程序分析工程系统的核心问题，支撑代码检测工具系统在检测结果准确性和性能上达到业界领先;

3、负责程序分析技术(静态分析和动态分析)相关算法的研究与实现，通过发表论文/学术会议等形式构建业界影响力；

4、负责研究国内国际程序分析领域的技术进展，技术趋势，融化并吸收为我所用；

岗位要求：

1、形式化验证、软件工程、计算机技术、计算机科学与技术、信息科学等计算机相关专业硕士、博士以上人才；在海外具有5年以上程序分析工作经验；

2、具有知名IT互联网企业海外工作经验，在程序分析领域取得卓越成就；

3、熟悉静态分析、动态分析的工具和手段，能够搭建程序分析端到端的技术解决方案；

4、具有较好的科研水平和技术能力，具有较强的逻辑思维和开放的技术视野；

5、励志回国发展，在程序分析领域取得更大成就；

6、可以接受一定的国内国际顶会的出差，出席会议或者作为Speaker参与技术分享演讲。