职责描述: 我们致力于为蚂蚁集团和多家金融企业提供领先的研发运维解决方案。旨在通过软件工程技术手段提升软件研发的效率、质量、安全及可靠性，打造新一代企业级软件研发及运维体系，构建蚂蚁devsecops生态系统，为用户提供更好的服务体验。具体领域包括但不限于：程序动静态分析、形式化验证、语言及编译技术、程序智能合成及修复、混沌工程、测试技术、tracing及运维监控技术、devsecops开发、软件成分分析、架构治理及理解、人工智能和软件工程结合技术等。 职位描述： 1. 设计、开发和维护蚂蚁集团的核心应用程序和服务，包括但不限于web应用程序、分布式系统、云原生应用等； 2. 探索软件工程技术与ai技术的结合，开发基于机器学习和深度学习的程序分析工具，如自动错误检测、代码自动修复等； 3. 参与程序分析和优化，包括但不限于代码分析、静态分析、动态分析、性能分析等； 4. 设计和开发devsecops工具及平台，如代码依赖分析工具、自动化测试工具、性能调优工具、监控运维系统等； 5. 协助进行软件质量保证、安全性分析等相关工作。 任职要求: 1. 熟练掌握一种或多种编程语言，如java、js、c++、go、python等，并能够熟练运用常见的数据结构和算法设计和实现高质量的软件系统； 2. 具备博士学历或优秀的硕士学历，在程序分析和优化、软件工程、机器学习等领域有深入的学术研究； 3. 具备大规模软件系统的设计、开发和维护经验，熟悉常见的软件架构和设计模式； 4. 具备良好的沟通能力、团队合作能力和自我学习能力，能够承担一定的工作压力，具备良好的英语听说读写能力，能够阅读和撰写英文技术文档。 加分项： 1. 熟悉codegpt、codellama等代码智能模型； 2. 熟悉常见的程序分析和编译优化技术，如编译器、程序分析、性能分析等软件工程类技术； 3. 具备优秀的学术背景，如ccf-a类论文一作或二作、重要国际学术会议论文发表经验等； 4. 具备开源社区贡献经验，如开源项目的代码贡献、issue讨论、代码审查等；