| 社招官网

蚂蚁集团-代码安全验证架构师/工程师/专家/高级专家-杭州&北京&成都&森尼韦尔

发布时间: 2021-07-07 工作地点: 杭州,北京,成都,森尼韦尔 工作年限: 三年以上
所属部门: 蚂蚁集团 学   历: 硕士 招聘人数: 若干

岗位描述:

短中期针对既有代码进行程序分析和安全证明;中长期设计程序安全需求,进行形式化建模,根据相关模型进行定理证明和实现推导,并验证实现对需求的覆盖。

岗位要求:

基本要求:
1、计算机/数学等相关硕士学位及以上,具备三年以上的研发经验;
2、有程序分析、软件测试、代码安全等相关背景;
3、熟悉程序常见漏洞和安全模型,有基本的代码安全测试或验证的经验;
4、具有良好的沟通技能,团队合作能力,追求极致的心态,勤奋好学。

优先:
1、熟悉模型检查,定理证明,符号执行者优先;
2、熟悉FMETA/FTA等需求分析工具者优先;
3、有需求建模相关经验优先;
4、有TEE相关工作经验优先;
5、熟悉CC或其他国际认证相关经验优先。

 

 

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

推荐岗位

职位名称 职位类别 工作地点 招聘人数 更新时间
阿里集团-CRO-高级安全专家-办公安全 安全 杭州 若干 2021-09-23
阿里集团-安全技术运营-杭州 安全 杭州 若干 2021-09-23
蚂蚁集团-金融云/OB安全攻防-北京 安全 北京 若干 2021-09-22
阿里集团-CRO-IoT安全研发高级工程师-北京 安全 北京 若干 2021-09-18
阿里集团-CRO-高级安全工程师-北京 安全 北京 若干 2021-09-17