蚂蚁金服蚂蚁技术研究院长期研究型实习生-形式化验证方向
实习兼职蚂蚁技术研究院长期研究型实习生项目地点:北京 | 杭州状态:招聘
任职要求
职位要求: 1.有相关研究背景的博士生,特别优秀的硕士生亦可; 2.有良好的研究背景和成果,在高水平国际会议或者学术期刊发表过形式化验证相关论文; 3.具备发现问题的能力和开发实现能力,能够把研究想法转化为Demo应用; 4.有良好的表达和沟…
登录查看完整任职要求
微信扫码,1秒登录
工作职责
职位描述: 1.用形式化方法对程序语言的内存安全、功能安全性进行验证,特别是Rust语言方向; 2.用形式化方法对安全时序逻辑和功能、协议设计、算法设计的安全属性,进行验证; 3.用形式化方法对较简单的、小规模的AI系统的安全属性,进行验证; 4.探索形式化方法,发表高水平论文或专利,提升蚂蚁集团在该领域的业界影响力; 5.与国内外形式化验证领域的一流研究机构进行交流与合作。
包括英文材料
相关职位
社招技术类-开发
1. 营销阵地C端玩法架构设计与实现,在快速迭代中沉淀抽象以提升研发效率 2. 电商导购心智产品建设与迭代,用数据、技术驱动业务效果提升 3. 支撑大促活动,解决高并发高难度技术课题,协同上下游落地跨团队项目,并保障项目稳定 4. 推荐系统迭代与调优,构建多维度策略能力,提升整体推荐分发效率与效果
更新于 2025-07-21杭州
社招2年以上技术类-开发
方向一: 客户端平台:iOS/Android 方向二: 1.客户端基础框架的定制、开发、优化。 2.Web技术研发,移动端跨端动态技术研发,包括生态语言、渲染技术 方向三: 1.面向支付宝客户端iOS/Android平台的智能化基础设施建设,赋能端内各业务场景; 2.负责端侧计算引擎的架构设计与开发,增强对用户的理解; 3.负责端云共享学习、在线学习等领域的技术体系建设; 4.负责终端大模型框架与应用落地 5.强烈责任心和团队合作精神,乐于探索未知领域。
更新于 2025-04-03北京|上海|杭州
社招3年以上技术类-数据
1、与业务需求结合,设计并落地创新型实验及准实验,提升实验的效率和洞察深度,探索机器学习技术、动线挖掘、模型预测等方法在因果推断中的应用场景,解决观测数据中因果关系的识别,研发新型因果推断方法,优化业务决策; 2、从理解业务问题到因果因推断相关领域方法论研究、原型验证、直到与工程团队合作将成熟的技术产品化,推动方法从理论到实践的转化。设计可扩展的实验框架,支持大规模、多场景下的因果推算与效果评估; 3、负责通过AB实验设计、因果推断、深度学习等手段,量化运营策略效果和价值,科学评估运营手段,为业务决策提效。
更新于 2025-07-28北京