| 社招官网

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

发布时间: 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-08-07
蚂蚁集团-静态程序分析技术专家 开发 深圳,杭州 若干 2020-08-05
阿里云智能事业群-数据库技术研发专家-开放分析-杭州 开发 杭州 若干 2020-07-22
数据技术及产品部-高级技术专家-智能分析引擎 开发 杭州 若干 2020-07-20
蚂蚁集团-0号计划-程序分析/软件可靠/软件安全资深专家 开发 杭州 若干 2020-07-15