- 设计并抽取用于程序分析的代码知识图谱，并在其基础上构建数据流分析、污点分析等程序分析做法
- 参与编程语言特性设计及其实现，进行后续维护以及新特性的持续集成
- 阅读相关领域学术论文，定期进行组内知识分享，建设并维护内部知识库
- 配合相关产品或项目进行研究成果间接转化
- 熟悉程序分析技术，如数据流分析、污点分析、符号执行等做法
- 熟悉至少一种语言的程序分析工具，并有过二次开发经验，语言不限
- 了解目标语言的常见编码规范及代码漏洞
- 具有良好的沟通与文档协作能力，责任心强，具备英文学术论文与议题阅读能力
- 在漏洞检测、程序分析相关领域有学术、工业项目经历
- 熟悉Datalog程序分析，有相关工具使用经验
- 跟踪最新安全技术动态，对前沿安全领域进行技术研究，建设并维护团队内部知识库
- 参与产品的设计研发与落地，提供专家经验知识，验证并提升产品能力
- 配合相关产品或项目进行研究成果间接转化
- 参与支撑重点项目，提供安全技术支持
- 计算机基础扎实，在代码逆向、代码审计、漏洞分析与挖掘的一个或多个领域有较多经验
- 熟悉C/C++、Java、Golang中的一个或多个语言及相关安全问题
- 熟悉攻防场景，了解相关领域的漏洞以及防护原理，可以独立完成常规漏洞的分析与复现
- 具有良好的沟通与文档协作能力，责任心强，对技术有高度热爱
- 对程序分析、编译器开发、模糊测试等领域有较深了解
- 具备开发安全相关产品的开发经验
- 对Datalog技术有较深了解，熟练掌握CodeQL的使用与原理
- 相关领域的大型会议议题或学术论文发表、有大型CTF赛事经历且排名靠前
- 知名应用的高价值漏洞挖掘经验
- 参与推理引擎的分布式架构设计、计算优化以及持续维护
- 研究前沿编译优化及计算加速的做法并进行工程实践
- 阅读相关领域学术论文，定期进行组内知识分享，建设并维护内部知识库
- 配合相关产品或项目进行研究成果间接转化
- 熟悉编译原理，有编译器设计及开发经验，对编译优化做法有一定了解
- 熟练掌握C/C++，具有良好的编码习惯
- 了解数据库理论，了解数据库推理计算原理
- 了解分布式系统与分布式理论，了解Spark、Flink等常见分布式计算系统的计算原理
haowen.mhw@cyberutopian.com