技术:精通目前业界主流的前端开发技术栈,熟悉软件开发测试部署发布全流程,能够独立负责前端项目开发,也可以带团队,能够 及时排查响应线上问题,有大型复杂业务线产品开发经验和跨团队跨部门沟通协调能力。 有微信小程序原生与 Taro 开发经验;有原生 Android App(移动端/电视
项目:内容: 负责某APP 内 H5 项⽬,微信、⽀付宝⼩程序,解决了较多的效率问题,技术问题,性能问题,多平台兼容问 题。曾获得公司技术荣誉之星称号。负责⽤户端系统、PC 客服端系统、PC 供应商端系统。担任主⼒开发,搭建项⽬基础架构,封装公共组件。提⾼了开发效率和质量。 业绩:
案例: 商城
技术:履历背景:长期从事自然语言处理(LLM/RLHF)、sympy符号计算、lean4形式化证明的研究,掌握NLP实用技术并利用lean4语言对arXiv论文的观点进行求证,工程实践经验丰富,有完整NLP项目实施与交付经验,获交互式机器证明的软件著作权。 工程实践:精通C/C+
项目:工作概述:主导自然语言处理研发(C++/Java/Python),承担专利技术检索数据库等有关文本处理与聚类、段落切割与句法分析、大模型训练以及算法研究与优化工作,赋能公司技术变革与信息服务产品性能提升。 文本聚类(Java算法):使用Kmeans++算法,通过初始化聚类中心优
案例: 算法形式化定理库