【蚂蚁星】AI+Math助理研究员——Lean语言形式化验证-27届

1. 蚂蚁集团顶级金融科技平台，技术驱动型研究环境； 2. 形式化验证前沿领域，挑战性与创新性并存，有机会发表顶会论文； 3. 覆盖北京/上海/杭州三地，灵活选择工作城市。