英语专业级流畅
中文母语水平
德语借工具书面交流
0
1
2
3
4
5
13小时前在线
研究助理
美国全职 · 300/日 · 6525/月信用正常
工作时间: 工作日10:00-17:00、周末10:00-17:00工作地点:
远程
服务企业:
0家累计提交:
0工时
聊一聊
个人介绍
我是程序员客栈的Hengjian LI,一名全栈开发工程师;
我毕业于香港科技大学物理学专业,担任过高校量子信息研究团队的研究助理;
负责过多商户电商商城系统、企业级CRM客户关系管理系统、智慧医疗预约挂号与患者管理系统的开发;
熟练使用Java、Spring Boot、Vue.js、Node.js、Python;
如果我能帮上您的忙,请点击"立即预约"或"发布需求"!
工作经历
2025-08-31 -至今德州大学达拉斯分校研究助理
公司主要业务: 所在单位为高校理论物理/量子信息研究团队,主要研究方向为量子信息论与量子计算基础理论,包括量子纠缠的刻画与判据、半正定规划(SDP)方法在量子信息中的应用,以及相关数学结果的计算机形式化验证。 我的职责和工作内容: 1、独立开展泡利(Pauli)算符集合最小秩(MinRank)下界的证明研究,提出并验证了基于四阶矩估计、Cauchy-Schwarz不等式与平方和(SOS)方法相结合的下界证明技术,应用于多组具体泡利算符集合的秩下界求解。 2、研究量子态对称扩展(k-extendibility)问题与半正定规划层级(SDP hierarchy)之间的分离间隙,推导等距扩展的保真度上界并构造具体反例见证。 3、使用 Lean 4 / Mathlib 对上述定理进行形式化证明,将复杂定理拆解为可独立验证的引理并搭建可复现的证明脚手架。 4、独立设计并搭建了基于大语言模型(Claude Code)的多智能体研究工作流,用于并行探索证明思路、交叉验证数学猜想、自动生成技术文档,显著提升了研究迭代效率。
教育经历
2021-08-31 - 2025-08-31香港科技大学物理学本科
资质认证
语言
作品
1、系统包含调度看板(仓库/库存管理、订单列表、一键智能派单)和司机端H5(接单、上报位置、更新配送状态)两大模块。2、智能派单基于Haversine公式计算车辆到仓库/目的地的真实球面距离,结合车辆载重容量做二次过滤,对所有空闲车辆打分后选出最优匹配,分配失败(无合适车辆/库存不足)会返回明确错误
02026-07-04 01:48
1、系统包含患者端(*小程序:科室/医生查询、排班选号、在线预约与取消)和医生工作台(Web端:当日挂号队列、电子病历录入)两大模块。2、预约核心逻辑通过数据库事务+CheckConstraint约束保证同一排班不会被超量预约,并在预约成功时自动分配递增的排队号;医生工作台按日期展示当日候诊队列(
02026-07-04 01:45
1、系统包含课程模块(分类浏览、点播课程详情与课时列表)、学习模块(视频观看进度追踪、随堂测验)、直播模块(直播间状态、观众人数)三大功能。2、点播课程支持按分类筛选浏览,课程详情展示课时列表并用HTML5video播放,观看进度通过timeupdate事件节流上报后端持久化,支持断点记录;每节课程
02026-07-04 01:42
