【蚂蚁星】AI+Math助理研究员——Lean语言形式化验证-27届当面告知
蚂蚁科技集团股份有限公司
2026-12-12 00:00:00
校招博士27届硕士
岗位详情
地区：
北京
·
上海
·
杭州市
专业要求：
人工智能计算机科学与技术
岗位职责：
部门介绍：
通过形式化验证，让安全攸关的软件模块，更加Sound，尽可能消除bug/漏洞/故障；使形式化验证更‘轻量化’和‘规模化’，能真正从理论研究走进工业应用。
职位描述：
1. 将Lean语言的形式化验证技术，迁移到Rust程序验证，或具身智能体可靠性验证等领域，研究大幅提升形式化验证‘轻量化’和‘规模化’的方法；
2. 基于Lean语言的验证框架，产生高质量的数学证明、程序验证类数据，用于基模训练；
3. 探索形式化方法，发表高水平论文或专利，提升蚂蚁集团在该领域的业界影响力，与国内外一流机构进行交流与合作。
招聘要求：
1. 博士生，特别优秀的硕士生亦可；有相关研究背景、成果和经验，在高水平国际会议或者学术期刊发表过相关论文；
2. 具备发现问题提出问题的能力（很重要）和开发实现能力，能够把研究想法转化为Demo应用；
3. 有良好的表达沟通能力及协作精神，工作认真严谨，有足够的热情，挑战困难的决心和毅力；
4. 熟悉Lean。
公司介绍
蚂蚁科技集团股份有限公司
蚂蚁科技集团股份有限公司，成立于2000-10-19，位于浙江，法定代表人：韩歆毅，登记状态：存续，注册资本3500000万人民币，公司类型：民营/私企
蚂蚁集团是中国较大的移动支付平台支付宝的母公司，也是全球金融科技开放平台，致力于以科技推动包括金融服务业在内的全球现代服务业的数字化升级，携手合作伙伴为消费者和小微企业提供普惠、绿色、可持续的服务，为世界带来微小而美好的改变。