课题组简介
东莞市大湾区高等研究院智能计算研究中心于2024年1月12日正式成立，中心开展高水平科学研究、建立有国际影响力的学术平台，培养和引进高层次人才、形成一支梯队合理的学术队伍，服务于大湾区大学的人才培养、服务于大湾区的数字经济建设、服务于国家的重大战略需求。
智能计算中心文再文教授 AI for Mathematics 研究组关注人工智能技术与数学形式化在数学研究和教学中的应用。研究方向包括但不限于基于人工智能技术的 Lean 4 数学自动形式化、基于人工智能技术的 Lean 4 辅助工具开发、应用人工智能技术的 Lean 4 集成开发教学环境的开发、在 Lean 4 实现最优化相关教材的形式化等。
02
招聘信息
1
招聘岗位
开发工程师1人，一共有前端、后端两个方向领域，优先招到适合人选的录用
2
岗位职责
一、前端开发工程师
（1）设计与实现和项目相关的网页、Web 应用与内部管理页面；
（2）实现基于 Web 技术的富文本集成开发环境；
（3）拓展编辑器的功能：为编辑器提供语言服务器、定义可视化、与项目的其他服务集成等能力；实现主题、键位、用户配置等可用户自定义功能；
（4）为项目搭建前端开发所需要的基础架构：如优化打包流程，部署组件展示与 develop preview 等；
（5）为前端系统编写端到端测试。
二、后端开发工程师
（1）设计具体项目的架构，对各个服务与中间件进行组织：如设计业务表单、RPC、缓存、数据库、计算节点、消息中间件、网关等基础架构；
（2）编写项目的实现与测试，并协同前端开发进行调试与修改；
（3）发现业务的性能关键点，设计优化方案，并对同一个业务的不同优化方案实现进行性能测试；
（4）优化项目的工作流，编写项目的自动化与集成设施，确保项目部署运行的可复现性；
（5）部署项目及其相关基础设施，提升线上项目的可观测性与稳定性。
3
任职条件
一、前端开发工程师
（1）数学或计算机等相关专业本科及以上毕业生，有2年以上开发工作经验，熟悉 TypeScript 程序设计语言，熟悉 gRPC、JSON RPC、REST API 等 API 设计，对 CSS、HTML 有较深的了解；
（2）熟悉基于 Web 技术的富文本编辑器开发；
（3）有较强的 UI、UX 设计能力；
（4）熟悉使用现代 React 开发 Web 应用；
（5）熟悉有关 TypeScript 工作流程有关的技术：如 monorepo 与包管理，开发环境与生产环境的打包、部署，story book 与文档的自动化、部署，网关与安全连接的配置等；
（6）熟悉单元测试、集成测试、端到端测试的编写；
（7）熟悉协作编辑器的设计与 CRDT 等模型者优先；
（8）会使用 Figma 等设计工具者优先；
（9）熟悉渲染绘制库与公式排版技术者优先。
二、后端开发工程师
（1）数学或计算机等相关专业本科及以上毕业生，有2年以上开发工作经验，熟悉 Rust 程序设计语言，熟悉 gRPC、JSON RPC、REST API 等 API 设计；
（2）熟悉网关、缓存中间件、关系式数据库、分析式数据库的部署与使用，并且能针对业务问题进行性能测试与调优；
（3）熟悉单元测试、集成测试、分布式一致性测试、性能基准测试的编写；
（4）熟悉容器化技术，并且掌握容器的部署、调度和容器化测试、提升服务可观测性、provisioning 等技能者优先；
（5）熟悉 Linux 系统，掌握基本的运维技能与服务器管理技能，会编写交互脚本与构建系统脚本，会编写 CI、CD 任务者优先。
4
福利待遇
1. 根据项目执行期签订劳动合同，年薪制聘用。
2. 提供具有竞争力的薪酬待遇以及科研条件，具体待遇面议。
3. 按东莞市规定购买社会保险和住房公积金。
大湾区大学松山湖校区
03
应聘方式
如有意申请或咨询，请将以下材料压缩打包发送至cinco@gbu.edu.cn，邮件主题命名“xxx开发工程师-姓名”。
1.个人简历（含学历学位证明、主要研究成果、未来工作计划等）；
2.专业技能、项目开发经验陈述；
3.其他可以证明工作能力的材料。
招聘长期有效，招满即止。
信息来源：https://mp.weixin.qq.com/s/dKq4jiCtkNssnENjkT6VyA