岗位职责： 设计实现平面几何检验及自动推理系统，保证代码实现的可拓展性和可维护性，优化推理速度，实现高速的平面几何自动推理，优化拓展代数推理系统；设计具体项目的架构，对各个服务与中间件进行组织：如设计业务表单、RPC、缓存、数据库、计算节点、消息中间件、网关等基础架构；编写项目的实现与测试，并协同前端开发进行调试与修改；发现业务的性能关键点，设计优化方案，并对同一个业务的不同优化方案实现进行性能测试；优化项目的工作流，编写项目的自动化与集成设施，确保项目部署运行的可复现性；部署项目及其相关基础设施，提升线上项目的可观测性与稳定性。 应聘条件： 1.具备正常履行职责的身体素质和心理素质，较好的意志品质与承压能力，可全职在岗。工作认真负责，积极主动，有较强的团队协作精神。 2.具有本科及以上学历学位（含应届毕业生），年龄原则上不超过28周岁，特别优秀者适当放宽。 3.熟悉Python，C，Rust等程序设计语言，熟悉gRPC、JSON RPC、REST API等 API设计；熟悉网关、缓存中间件、关系式数据库、分析式数据库的部署与使用，并且能针对业务问题进行性能测试与调优；熟悉单元测试、集成测试、分布式一致性测试、性能基准测试的编写；熟悉容器化技术，并且掌握容器的部署、调度和容器化测试、提升服务可观测性、provisioning等技能者优先；熟悉Linux系统，掌握基本的运维技能与服务器管理技能，会编写交互脚本与构建系统脚本，会编写CI、CD任务者优先；熟悉算法知识，特别是图论相关算法知识，有算法竞赛经历者优先。 应聘方式： 应聘材料包含：1.个人完整简历（含近期照片）及学历学位等有关证明；2.其他可证明匹配岗位的支撑材料（含科研成果等）。