阿里云开放平台24届春招

招聘 前端/后端开发工程师，形式化技术研究员

岗位职责阿里云开放平台是阿里云“被集成”战略的基石，为阿里云所有客户提供高效、安全、可信的云计算服务。我们团队有着世界一流的产品，涉及API、身份、权限、资源管理、审计、平台技术等场景。我们为百万级企业客户提供数字化转型服务，管理千万级云上资源，涉及大规模、高并发等领域，是阿里云技术挑战最大的基础体系之一。非常欢迎感兴趣的同学加入我们的团队。在这里，你将学习到如何设计优良的技术架构以应对复杂的问题、高性能的挑战，有机会和阿里云共同成长，挑战世界级的技术难题，实现自己的技术理想。岗位要求
2023年11月-2024年10月毕业，
计算机科学、软件工程、数学、信息安全等相关专业背景，本科及以上学历，学习成绩优秀；
有良好的技术基础，熟练掌握编程语言、数据结构与算法、操作系统、计算机网络、数据库等；熟悉 Java/C++/Golang/Python/JavaScript 等编程语言中的一门；有良好的的沟通表达能力，一定的抗压能力，持续学习，关注前沿，敢于挑战自我；有在校期间参加大型赛事取得优异成绩者优先、或有大型项目实践或公司实习项目经验者优先，有形式化领域研究经历者优先
联系方式 yiting.yt#alibaba-inc$com