岗位定位
负责公司静态分析工具产品的核心研发与迭代优化，搭建高精准、高性能的程序分析规则体系，同时探索大语言模型在静态分析领域的创新应用，为产品核心竞争力筑牢技术根基。
岗位职责
1. 深度参与公司静态分析工具产品的全生命周期研发与维护，涵盖功能模块设计、代码实现、版本迭代及问题修复，保障产品稳定高效运行。
2. 依据行业标准（GJB/MISRA 等）及客户定制化需求，独立或协同开发程序分析规则 checker，确保规则的合规性与实用性。
3. 持续优化工具的分析精度与运行性能，精准平衡误报率与漏报率，提升工具的市场竞争力和用户体验。
4. 跟踪行业前沿技术，主导或参与 LLM 在静态分析领域的技术探索与落地实践，推动产品技术创新与升级。
5.与产品、测试等跨部门团队协作，对接需求与反馈，参与技术方案评审，保障研发流程高效推进。

任职要求
1. 教育背景
本科及以上学历，计算机科学与技术、软件工程、信息安全等相关专业优先。
2. 工作经验
具备 3 年及以上程序分析领域专职工作经验，对领域技术原理有深入理解，熟悉行业技术演进趋势。
熟悉 GJB、MISRA 等行业标准规则，有相关标准落地实践经验者优先。
3. 知识与技能
掌握扎实的编译原理基础知识，精通数据流分析、指针分析等核心程序分析技术。
熟练使用 Clang、Joern、testbed、coverity 等至少一种程序分析框架或工具，具备工具二次开发能力者优先。
熟练掌握 Java、Scala、C、C++、Python 中的一种或多种编程语言，具备高质量代码编写能力。
具备强烈的技术探索热情和自驱力，能够独立推进技术难题攻关，同时拥有良好的沟通表达与团队协作能力。
有程序分析领域顶会论文发表经历，或具备开源项目贡献经验者，可优先录用。
4. 具备较强的抗压能力和时间管理能力。拥有严谨的技术思维和扎实的职业素养，注重代码质量与文档规范，能高效融入团队协作体系。