程序分析工程师/专家-Dev Infra

1、参与公司级程序分析产品的构建，建立产品机制和运营流程，以保障服务和软件的质量；
2、负责代码检测技术（包括静态分析和动态分析）相关算法的研究与实现；
3、承担代码分析引擎核心算法的设计与实现工作，确保代码检测工具系统在检测结果准确性和性能方面达到业界领先水平；
4、推动代码分析在代码检测、代码治理、链路分析、隐私保护、代码修复等场景的落地；
5、探索下一代代码分析技术，包括但不限于与大模型、知识图谱等相关技术的融合。

1、本科及以上学历，计算机相关专业，拥有两年以上工作经验；
2、具备扎实的计算机基础和编程能力，拥有良好的设计能力和编程习惯；
3、熟练掌握C/C++/Go/Python/Java中的一种或多种语言，能够编写稳定高效的代码；
4、熟悉Clang Static Analyzer/Infer/Coverity/SonarQube/Soot等开源静态分析框架或产品，有相关开发经验者优先；
5、熟悉编译原理、编译器AST/控制流等中间代码格式以及程序分析相关概念者优先。