工作内容】
使用Lean4形式化数学竞赛题目的解题过程
- 负责使用Lean语言进行算法开发与优化；
- 设计并实现高效的算法解决方案，以满足业务需求；
【任职要求】
- 拥有计算机科学或相关领域的本科学历；
- 至少1年以上的编程经验，熟悉Lean语言及其开发环境；
- 具备扎实的算法基础，能够独立设计和实现高效算法；
- 具备优秀的沟通协调能力，能适应远程居家办公的工作模式；
居家办公，时间自由
按件计薪