技能标签
专业技能
精通C/C++、Python3、Lean4，熟悉Java8、Php8、MySQL8、JavaScript、Vue3等编程语言。擅长自然语言处理（LLM/RLHF）、符号计算、形式化验证，掌握深度学习框架与算法优化。具备大语言模型研发、强化学习算法设计、NLP项目全生命周期交付经验，熟悉机器学习工程化实践与模型部署。
工作履历（脱敏处理）
长期从事自然语言处理（LLM/RLHF）研发，主导完成多个NLP项目全生命周期开发，包括需求分析、算法设计、模型训练、系统集成与部署。精通C/C++、Python3、Lean4等编程语言，擅长复杂算法实现与性能优化。在形式化验证领域有深入研究，成功将Lean4应用于arXiv论文观点验证，提升算法可靠性。具备大语言模型研发经验，掌握从数据预处理到模型部署的完整技术链，能快速响应业务需求并提供定制化解决方案。
项目经验（脱敏处理）
主导自然语言处理研发项目，采用LLM技术构建对话系统，通过RLHF算法优化对话质量。解决大规模文本数据处理中的分布式计算瓶颈，设计基于Spark的并行处理框架，提升数据预处理效率40%。运用Lean4进行形式化验证，确保算法逻辑的数学严谨性，降低生产环境异常率。开发自研NLP工具链，集成BERT、RoBERTa等预训练模型，支持多语言文本分析，实现模型推理速度提升35%。通过设计动态权重调整机制，优化强化学习训练过程，使对话系统用户满意度提升25%。
驻场外包优势
服从性高
严格遵守甲方管理制度
技术扎实
15年项目实战经验
可长期驻场
接受异地项目外派
快速响应
24小时内可到岗
企业人才对接
专业IT人力外包服务
如果贵公司有IT项目人手缺口、需要工程师驻场开发、短期人力支援需求，欢迎联系洽谈合作。
合作热线
18969108718
商务邮箱
ntit@163.com
微信扫码咨询
扫描二维码添加商务对接