职位描述：
【岗位名称】
高级研发工程师
【职责内容】
参与公司自主研发产品的研发；
负责编写相关开发文档、技术报告等；
结合实际业务需求，开展程序分析、程序验证等领域前沿技术的产品化工作；
【任职要求】
院校学历：985/211院校，硕士毕业优先；特别优秀可放宽限制：
所学专业：计算机专业
从业经验：有llvm & clang工具链开发经验，工作经验1年以上，至少有1个以上相关实际工具的独立开发经验；
专业技能：
1.熟悉编译器相关技术，熟练掌握c/c++语言；
2.熟悉程序分析技术，如程序分析（数据流、控制流、切片）、形式化验证，符号执行等优先；
3.在相关领域具有国内外相关专利、软著或优秀论文发表者优先；
职业素养：
1.创新、奋斗、责任心、匠心、团队协作、沟通协调、实事求是；
2.具备较好的学习能力、问题分析能力和技术钻研能力，可以独立解决技术问题；
3.热爱技术、诚实上进、责任心强，具备良好的沟通协调能力和团队合作意识，能够主动承担开发任务，善于总结和分享自己的开发经验。