| 社招官网

蚂蚁集团-程序分析技术工程师

发布时间: 2019-12-06 工作地点: 上海,杭州 工作年限: 二年以上
所属部门: 蚂蚁集团 学   历: 本科 招聘人数: 若干

岗位描述:

工作职责:
1. 搭建及维护程序静态分析基础框架,基础引擎。
2. 设计实现及维护分析器程序语言特性建模系统,属性描述系统等系统
3. 设计实现扩展及维护程序分析结果查询语言
4. 研发及维护基础程序分析算法例如指针分析,数值分析等
5. 研发各程序语言代码漏洞检查器,支持检查标准如CWE,CERT,OWASP等
6. 研发及维护约束求解,打分,修复点计算等周边算法

岗位要求:

1. 计算机或相关专业全日制本科或以上学历。
2. 熟悉程序语言的基础理论及概念
3. 扎实的算法及计算理论基础(如图灵机模型)
4. 较强的总结能力,系统化思维及能力以及抽象思维的能力
5. 较强的学习能力,可以很快上手并理解一门新的程序语言
6. 熟练掌握Java/C/C++语言,能编写稳定,高效,可靠的代码。
加分项:
1. 有从事过程序语言方面理论研究,有研究生以上学历者优先
2. 有从事编译器/程序分析器/程序漏洞检查器开发经验。
3. 熟悉编译器中间代码格式以及程序分析相关概念,比如控制流等
4. 有静态程序分析工具使用经验和程序漏洞挖掘经验。
5. 熟悉LLVM中间代码

 

 

申请此职位表明您已阅读并同意阿里巴巴及关联公司的《申请工作机会须知》。

推荐岗位

职位名称 职位类别 工作地点 招聘人数 更新时间
蚂蚁集团-网络业务技术高级JAVA开发工程师-国际事业群 开发 上海,杭州,深圳,成都 若干 2020-01-20
乌鸫科技-高级JAVA开发工程师/技术专家-政务方向 开发 杭州 若干 2020-01-20
高德-Java 高级开发工程师 / 技术专家 开发 北京 若干 2020-01-20
供应链平台事业部-资深开发工程师/技术专家-杭州 开发 杭州 若干 2020-01-20
CFO产品技术部-技术专家/高级java工程师-上海专场 开发 上海 若干 2020-01-20