| 社招官网

蚂蚁集团-静态程序分析技术专家

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

团队介绍:

蚂蚁研发效能团队有业界领先的工程和学术造诣,致力于为蚂蚁和多家金融企业提供核电级的全生命周期研发产品。加入我们,一起打造蚂蚁金服下一代基于云原生的研发效能平台,包括云端一站式研发(CloudIDE,分布式代码构建,全链路联调,Devops设施等),智能化代码服务(包括动静态程序分析,代码搜索,自动化测试,低代码平台等),数据驱动的过程改进(研发风控,研发能力度量等)。其中,在研发效能Code Insight团队,你可以接触到:
1、蚂蚁最丰富的研发生态(服务端、客户端、小程序、云原生)。
2、最全的编程语言(java、js、go、c++、python、Android、iOS)。
3、分析上万个研发人员的代码,样本丰富多彩,想象足够大。
4、内部产品的商业化,将金融级研发效能工具普惠万千开发者。
5、发表高水准科研论文,看到自己做出世界领先的技术成果并在工业界落地。

岗位描述:

蚂蚁金服Code Insight团队,致力于打造世界先进的程序分析技术和平台。团队成员有超过10年的程序分析和软件工程学术研究背景,是为数不多在PLDI, POPL, OOPSLA, ICSE, FSE等各大顶级学术会议均有论文发表,且目前扎根于工业界有大量落地实践案例的团队。加入我们,让你见证你的技术发挥最大的价值。你将参与的主要工作有:

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

岗位要求:

1. 计算机或相关专业本科或以上学历。
2. 熟悉程序语言的基础理论及概念
3. 扎实的算法及计算理论基础(如图灵机模型)
4. 较强的总结能力,系统化思维及能力以及抽象思维的能力
5. 较强的学习能力,可以很快上手并理解一门新的程序语言
6. 熟练掌握Java/C/C++语言,能编写稳定,高效,可靠的代码。

加分项:
1. 有从事过程序语言方面理论研究,有研究生以上学历者优先
2. 有从事编译器/程序分析器/程序漏洞检查器开发经验。
3. 熟悉编译器中间代码格式以及程序分析相关概念,比如控制流等
4. 有静态程序分析工具使用经验和程序漏洞挖掘经验。
5. 熟悉LLVM中间代码

 

 

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

推荐岗位

职位名称 职位类别 工作地点 招聘人数 更新时间
阿里集团-性能数据分析工程师/科学家 -技术风险部-性能分析(杭州/上海) 开发 杭州 若干 2020-12-02
阿里集团-数据分析专家-淘系技术部-北京/杭州 开发 北京 若干 2020-11-24
蚂蚁集团-动态程序分析技术专家 开发 杭州,上海 若干 2020-11-11
数据技术及产品部-高级技术专家-智能分析引擎 开发 杭州 若干 2020-11-04
阿里云智能事业群-数据库技术研发专家-开放分析-杭州 开发 杭州 若干 2020-10-29