0
1
2
3
4
5
0
1
2
3
4
5
1月前来过
学校外包负责人
北京全职 · 300/日 · 6525/月信用一般
工作时间: 工作日07:00-24:00、周末07:00-24:00工作地点:
远程
服务企业:
0家累计提交:
0工时
联系方式:
********
********
********
****************
查看联系方式
个人介绍
开发语言：熟悉Java语言，了解C/C++、Python、Go等主流编程语言，具备相关的开发和使用经验
网站开发：熟悉Spring全家桶，了解SpringBoot一些底层，掌握vue框架、HTML5、CSS3和ES2015等相关技术，了解前端MVC、MVVM
移动端开发：具备安卓开发、uni-app开发、小程序开发经验
操作系统：熟悉Linux操作系统及其常用命令
多媒体开发：了解PS、PR使用，2年学校公众号运营经验，熟练使用365，秀米等图文排版工具
工作经历
2023-10-02 -至今高学校外包负责人
负责前后端全栈开发，包括Vue.js和Element UI构建的前端界面以及FastAPI驱动的后端服务开发。在小程序端***空间树管理、合同账单处理和企业租户管理等核心业务模块
教育经历
2023-09-01 - 北京物资学院计算机科学与技术硕士
2018-09-01 - 2022-07-06江苏软件工程本科
技能
作品
企业外包项目涉及多个关键技术栈：前端采用Vue.js和Element UI构建用户界面，后端选择了FastAPI作为高效的服务端框架，数据库选用PostgreSQL保障数据安全和性能。小程序端采用Uni-App实现跨平台开发，涵盖支付系统、空间树结构管理、合同账单处理以及企业租户管理等主要模块，以满足企业在业务处理和用户体验上的全面需求。
02024-07-19 18:04
下载次数：0
￥2000
通过K框架实现对Solidity智能合约语义的补充与完善。Solidity是以太坊平台上流行的智能合约编程语言之一，但其可能存在的漏洞和不明确之处，导致智能合约的安全性和可靠性受到挑战。 K框架是一种功能强大的形式化语言和框架，可以用于定义和验证编程语言的语义。目前所作的工作主要如下： 1.精确的语义描述：对Solidity的语法和语义进行精确而全面的描述，包括对智能合约执行过程中各个阶段的行为进行建模和验证。 2.错误和漏洞检测：实现了检测Solidity智能合约可能存在的安全漏洞和错误，如可重入性漏洞和整数溢出。
02024-06-23 17:04
