职位描述
1.研究学习和利用程序分析技术，包括但不限于：抽象语法树（AST）、控制流图（CFG）、数据流分析等；
2.参与二进制代码的控制流/数据流分析、处理器行为建模等工作，包括指令时序特性提取、流水线/Cache 行为建模、函数调用关系图构建等；
3.参与静态分析工具的功能测试、性能测试、准确率验证，跟踪缺陷报告生命周期，协助定位误报、漏报问题，并推动修复闭环；
4.协助开展目标平台的分析适配与验证工作；
5.参与分析算法的优化迭代，如分析精度提升、误报率降低、大规模代码库的分析性能优化；
6.编写相关技术文档、测试报告与用户手册，参与技术方案评审。任职要求
1.本科及以上学历，计算机相关专业；
2.掌握 C/C++/Python 语言，能够编写脚本解决工作问题，有使用 AI Agent 工具开发经历；
3.具备扎实的计算机基础：了解操作系统（内存管理、中断与调度）、计算机体系结构（流水线、Cache）、编译原理（词法/语法分析、中间表示）等基础知识；
4.熟悉常用数据结构与算法，具备良好的逻辑分析和问题定位能力；
5.了解源代码缺陷概念、使用过程序缺陷检测工具、了解程序静态分析技术者优先；
6.有大学生程序设计竞赛经历者优先。
7.具备良好的沟通表达与团队协作能力，做事细致踏实，有较强的自驱学习能力，能阅读英文技术文档。
