蚂蚁金服蚂蚁数字科技-数科技术部-区块链智能合约编译器研发工程师
任职要求
1. 扎实的编译原理基础：深入理解编译原理、优化流程及即时编译(JIT)技术。有WASM/EVM/Risc-V/GCC/LLVM等相关开源编译器或虚拟机开发经验者优先； 2. 良好的计算机体系结构功底：熟悉主流处理器架构（x86-64/ARM64/Risc-V等）及指令系统，了解硬件和系统特性对编译器/虚拟机性能的影响； 3. 熟悉常见的编译优化技术：了解并能应用SSA、常量传播、死代码消除、寄存器分配算法等编译优化技术； 4. 积极主动：对编译器、虚拟机、区块链、AI等前沿技术有浓厚兴趣，具备优秀学习能力和解决问题能力； 加分项 ● 实际参与过编译器或虚拟机项目的开发，有EVM/WASM/RiscV相关经验； ● 有区块链智能合约开发或底层技术研究经验； ● 有开源社区贡献经验。
工作职责
1. 智能合约虚拟机设计与优化：负责JIT虚拟机的设计、实现与性能优化，深入参与编译功能的开发、性能提升及质量保障工作； 2. 智能合约编译器与工具链研发：负责合约语言编译器的设计与实现，包括前端、中端优化及后端代码生成。以及对Solidity合约的工具链（编译器，框架、测试工具等）进行开发和支持，并持续优化编译器性能； 3. 技术前沿探索与应用：积极探索多语言支持、AI开发工具等前沿技术在智能合约领域的应用，并将其融入到现有工具链中； 4. 开源技术运营与迭代：参与编译器虚拟机相关开源技术的运营和持续迭代，推动社区发展； 5. 质量保障与性能优化：在虚拟机和编译器层面，负责关键模块的质量保障体系建设和持续性能优化工作。
在Web3席卷全球的浪潮中，我们正用代码重构数字世界的规则——从RWA资产代币化到稳定币架构的颠覆，从全球区块链协作到AI与链式逻辑的碰撞。技术生态的裂变已不可逆，而蚂蚁数科凭借原生区块链架构、密码安全、硬件级防护、跨链隐私计算与Layer2扩展性等硬核技术，已站在风暴眼中央。 此刻，你将与顶尖工程师并肩： - 重构资产流通协议，用智能合约改写价值流转规则； - 设计下一代链上系统，以技术纵深击穿数据孤岛； - 在黄金时代的第一线，用代码定义信任的新范式。 代码即信仰，创新即战场—— 黄金时代正在加速到来——此刻不冲，更待何时？ 1. 参与蚂蚁数科Layer2 区块链Jovay 的架构设计、功能开发与性能优化，推动 Jovay 测试网和主网顺利上线； 2. 持续跟踪并深入研究区块链与 Web3 前沿技术动态，具备快速学习与落地应用能力，将最新技术成果高效融入 Jovay 平台，以保持技术领先和产品竞争力。
1. 负责蚂蚁区块链平台的基础能力建设，包括：系统架构改造，全链路性能优化，平台稳定性，功能迭代等； 2. 负责蚂蚁跨链AntChain Bridge相关商业化产品的后端研发工作，包括系统设计、编码实现等，确保项目的进度和质量； 3. 负责蚂蚁区块链平台业务的技术支持，维护保障现有产品服务和项目系统，发现/定位/修复相关风险或问题，快速响应并解决线上问题，保障系统的稳定性和服务质量； 4. 关注区块链和Web3的前沿技术研究，通过新技术促进业务发展，与产品、解决方案、销售等团队密切协同，深入发掘和分析业务和客户需求，做好业务所需的客户交流和支持。
在Web3席卷全球的浪潮中，我们正用代码重构数字世界的规则——从RWA资产代币化到稳定币架构的颠覆，从全球区块链协作到AI与链式逻辑的碰撞。技术生态的裂变已不可逆，而蚂蚁数科凭借原生区块链架构、密码安全、硬件级防护、跨链隐私计算与Layer2扩展性等硬核技术，已站在风暴眼中央。 此刻，你将与顶尖工程师并肩： - 重构资产流通协议，用智能合约改写价值流转规则； - 设计下一代链上系统，以技术纵深击穿数据孤岛； - 在黄金时代的第一线，用代码定义信任的新范式。 代码即信仰，创新即战场—— 黄金时代正在加速到来——此刻不冲，更待何时？ 1. 蚂蚁数科Layer2 Jovay架构设计，研发和主网建设； 2. 负责与产品、合规、运营团队协作，开源社区共建，共同打造可持续的Jovay生态； 3. 参与重大技术风险评估与事故应急，建立高可用、高安全的生产级 Layer 2 网络运行体系。
1. 参与蚂蚁数科Web3数字资产平台相关研发工作，包括系统设计与编码实现、DApp/智能合约开发、业务系统集成对接、性能分析优化、线上运维保障等，确保项目进度和系统等安全性、稳定性和质量； 2. 与产品、业务、法务合规等团队密切协同，深入发掘和分析业务、客户、监管等需求，参与配合业务系统产品设计，做好开展数字资产业务所需的客户、监管、市场等方面的交流和支持工作； 3. 跟踪调研Web3相关领域最新市场趋势和前沿技术发展，持续推动业务平台技术能力的完善升级、创新演进。